Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

Les deux révisions précédentes Révision précédente
tutoriel:deplacer_home [Le 19/10/2020, 09:02]
37.167.140.163 [Procédure avec peu de commentaires]
tutoriel:deplacer_home [Le 04/05/2021, 08:48] (Version actuelle)
80.12.102.147 Erreur dans la création de /home + dossier perso → devait être /home vide simple
Ligne 54: Ligne 54:
 <​code>​sudo cp -av /home/. /media/(nom d'​utilisateur)/​newhome/</​code>​ ce qui copie le contenu de /home (mais pas le /home lui même) sur la nouvelle partition. <​code>​sudo cp -av /home/. /media/(nom d'​utilisateur)/​newhome/</​code>​ ce qui copie le contenu de /home (mais pas le /home lui même) sur la nouvelle partition.
   - Lancer votre [[:​gestionnaire de fichiers]] en [[:​sudo|mode administrateur]] et neutraliser l'​ancien **/home** en le renommant en **/​oldhome**.   - Lancer votre [[:​gestionnaire de fichiers]] en [[:​sudo|mode administrateur]] et neutraliser l'​ancien **/home** en le renommant en **/​oldhome**.
-  - Créer immédiatement via votre [[:​gestionnaire de fichiers]] (en [[:​sudo|mode administrateur]]) un nouveau répertoire **/home** vide, puis dans celui-ci créez un dossier du nom de votre login.+  - Créer immédiatement via votre [[:​gestionnaire de fichiers]] (en [[:​sudo|mode administrateur]]) un nouveau répertoire **/home** vide (il servira ​de point de montage à la nouvelle partition).
   - Lancez l'​application '​Disques'​. Dans celui-ci, ​   - Lancez l'​application '​Disques'​. Dans celui-ci, ​
        - cliquer sur la partition séparée /​newhome, ​        - cliquer sur la partition séparée /​newhome, ​
  • tutoriel/deplacer_home.txt
  • Dernière modification: Le 04/05/2021, 08:48
  • par 80.12.102.147