Vous n'êtes pas identifié(e).
Dernière modification par Privateer2 (21-09-2017 10:36:54)
Bonjour et merci
Hors ligne
Il vaut mieux montrer que raconter.
Hors ligne
N'importe quel partitionneur récent fera l'affaire.
Il y a une question ?
Oui, pas sûr que ce soit facile, quelqu'un l'aurait déjà fait ?
Bonjour et merci
Hors ligne
Dernière modification par raleur (10-09-2017 09:49:10)
Il vaut mieux montrer que raconter.
Hors ligne
bash: rsync : commande introuvable
Commande non incluse et à installée ?
Dernière modification par Privateer2 (10-09-2017 09:52:05)
Bonjour et merci
Hors ligne
Il vaut mieux montrer que raconter.
Hors ligne
Si rsync n'est pas présent, il faut l'installer.
Mais on peut aussi bien utiliser "cp -a" à la place.
Merci, fait.
Reste :
Je ne vois pas comment dans le disk manager
Pour le type de partition, j'ai système de fichier Linux, mais je vois Linux Home Partition
Préférable ?
Dernière modification par Privateer2 (10-09-2017 10:05:04)
Bonjour et merci
Hors ligne
Pour connaitre l'UUID de la partition, tu utilises blkid en root
Dernière modification par nono47 (10-09-2017 10:23:34)
Je ne vois pas comment dans le disk manager
Pour le type de partition, j'ai système de fichier Linux, mais je vois Linux Home Partition
Préférable ?
Bonjour et merci
Hors ligne
Je ne vois pas comment dans le disk manager
Je ne connais pas Disk Manager et ne l'utilise pas. La seule fois où j'en ai entendu parler, c'est quand quelqu'un s'en est servi et qu'il a pourri /etc/fstab au point de rendre son système incapable de démarrer normalement.
Pour le type de partition, j'ai système de fichier Linux, mais je vois Linux Home Partition
Préférable ?
Je suppose que la table de partition du disque est au format GPT et qu'il s'agit du type GUID "Home partition" défini par "The Discoverable Partitions Specification" https://www.freedesktop.org/wiki/Specif … tionsSpec/ qu'une version suffisamment récente de systemd est censée appliquer. Mais dans la description il est écrit qu'une partition de ce type n'est montée automatiquement sur /home que si elle est sur le même disque que la partition racine, ce qui n'est pas ton cas. Donc ça ne ferait aucune différence, il faut définir le montage de la partition dans /etc/fstab comme indiqué par nono47.
Dernière modification par raleur (10-09-2017 11:05:04)
Il vaut mieux montrer que raconter.
Hors ligne
Privateer2 a écrit :Je ne vois pas comment dans le disk manager
Je ne connais pas Disk Manager et ne l'utilise pas. La seule fois où j'en ai entendu parler, c'est quand quelqu'un s'en est servi et qu'il a pourri /etc/fstab au point de rendre son système incapable de démarrer normalement.Privateer2 a écrit :Pour le type de partition, j'ai système de fichier Linux, mais je vois Linux Home Partition
Préférable ?
Je suppose que la table de partition du disque est au format GPT et qu'il s'agit du type GUID "Home partition" défini par "The Discoverable Partitions Specification" https://www.freedesktop.org/wiki/Specif … tionsSpec/ qu'une version suffisamment récente de systemd est censée appliquer. Mais dans la description il est écrit qu'une partition de ce type n'est montée automatiquement sur /home que si elle est sur le même disque que la partition racine, ce qui n'est pas ton cas. Donc ça ne ferait aucune différence, il faut définir le montage de la partition dans /etc/fstab comme indiqué par nono47.
Il y a plusieurs méthodes sur le tuto, je vais continuer de la même manière pour éviter la confusion
J'attend toujours quelques réponses
Bonjour et merci
Hors ligne
Il vaut mieux montrer que raconter.
Hors ligne
Reste :
Relancez Disk-Manager pour attribuer le nouveau point de montage /home à la partition sda6
Redémarrez l'ordinateur. Le nouveau /home est monté et en service.
Je ne vois pas comment dans le disk manager
Pour le type de partition, j'ai système de fichier Linux, mais je vois Linux Home Partition
Préférable ?
Bonjour et merci
Hors ligne
Il vaut mieux montrer que raconter.
Hors ligne
J'ai déjà répondu au sujet du type de partition dans le message #10.
Concernant l'attribution du point de montage, nono47 a proposé une alternative dans le message #8. Mais si tu tiens à utiliser Disk-Manager, je ne peux pas t'aider et tu devras effectivement attendre d'autres réponses.
C'est commencé en disk manager, présenté comme la solution la plus simple, mais les termes diffères , c'est un problème pour moi
Mais je pense réinstaller encore une fois pour que ce soit bien fait dès le départ
Je cherche le lien pour une image Debian 9.1 non free
Bonjour et merci
Hors ligne
C'est commencé en disk manager, présenté comme la solution la plus simple
Mouais, ça se discute. La méthode de nono47 (qui est aussi celle que j'utilise) consiste à exécuter une commande simple et ajouter une ligne dans un fichier texte. Et le risque de provoquer une catastrophe est beaucoup plus limité à mon avis.
Mais je pense réinstaller encore une fois pour que ce soit bien fait dès le départ
Ah, dommage.
Moi, je ne réinstalle jamais. Je change le disque, les partitions, le PC complet, la table de partition de DOS/MBR à GPT, le mode d'amorçage de BIOS/legacy à EFI sans réinstaller. J'ai des systèmes à jour et encore en service qui pour certains ont plus de 10 ans (2004 pour le plus ancien).
Il vaut mieux montrer que raconter.
Hors ligne
Je cherche le lien pour une image Debian 9.1 non free
là : https://cdimage.debian.org/debian-cd/cu … 64/iso-cd/
choisir : debian-9.1.0-amd64-netinst.iso 2017-07-22 13:31 290M
Ces liens se trouvent en commençant sur la page d'installation debian du wiki : https://debian-facile.org/doc:install:i … er-debian1
Puis ici sur la même page :
la page qui vous donne accès à tous les médias d'installation : https://www.debian.org/CD/index.fr.html
Dernière modification par smolski (10-09-2017 12:51:31)
saque eud dun (patois chtimi : fonce dedans)
Hors ligne
Dernière modification par Croutons (10-09-2017 13:16:39)
-->les cahiers du debutant<-- WikiDF-->Découvrir les principales commandes Linux<--
L' expérience, c'est le nom que chacun donne à ses erreurs. Oscar Wilde
En ligne
Bonjour et merci
Hors ligne
Privateer2 a écrit :C'est commencé en disk manager, présenté comme la solution la plus simple
Mouais, ça se discute. La méthode de nono47 (qui est aussi celle que j'utilise) consiste à exécuter une commande simple et ajouter une ligne dans un fichier texte. Et le risque de provoquer une catastrophe est beaucoup plus limité à mon avis.Privateer2 a écrit :Mais je pense réinstaller encore une fois pour que ce soit bien fait dès le départ
Ah, dommage.
Moi, je ne réinstalle jamais. Je change le disque, les partitions, le PC complet, la table de partition de DOS/MBR à GPT, le mode d'amorçage de BIOS/legacy à EFI sans réinstaller. J'ai des systèmes à jour et encore en service qui pour certains ont plus de 10 ans (2004 pour le plus ancien).
Donc, je peux déplacer /home sans risque ?
Gparted ou ligne de commande ?
Dernière modification par Privateer2 (10-09-2017 13:25:43)
Bonjour et merci
Hors ligne
Bonjour et merci
Hors ligne
Dernière modification par Croutons (10-09-2017 13:57:10)
-->les cahiers du debutant<-- WikiDF-->Découvrir les principales commandes Linux<--
L' expérience, c'est le nom que chacun donne à ses erreurs. Oscar Wilde
En ligne
On change l'étiquette de la partition avec gparted pour par la suite utiliser disque
ça tient pas trop la route , autant tout faire sous gparted puisque disque ne sait pas faire
Gparted sait gérer les montages persistants ?
Donc, je peux déplacer /home sans risque ?
Rien n'est jamais sans risque. Un gros facteur de risque d'erreur est quand on ne sait pas trop ce qu'on fait et pourquoi on le fait, notamment en suivant un tutoriel qui n'explique pas assez.
Je croyais que tu avais commencé à réinstaller ?
Il vaut mieux montrer que raconter.
Hors ligne
cp c'est fait
Seulement il faut savoir que cp ne réagi pas pareil que rsync
donc ma question est qu'a tu tapé comme commande?
exemple:
ne pas oublier le point sinon on copie également le répertoire home
avec rsync pas de point ( les dev pourraient accorder leurs violons ça serait sympa pour les utilisateurs)
Dernière modification par Croutons (10-09-2017 14:21:21)
-->les cahiers du debutant<-- WikiDF-->Découvrir les principales commandes Linux<--
L' expérience, c'est le nom que chacun donne à ses erreurs. Oscar Wilde
En ligne
Privateer2 a écrit :Donc, je peux déplacer /home sans risque ?
Rien n'est jamais sans risque. Un gros facteur de risque d'erreur est quand on ne sait pas trop ce qu'on fait et pourquoi on le fait, notamment en suivant un tutoriel qui n'explique pas assez.
Je croyais que tu avais commencé à réinstaller ?
J'ai stoppé, trop de sources d'erreurs avec les partitionnements
Bonjour et merci
Hors ligne