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
Prochaine révision
Révision précédente
deplacer_repertoire_usr [Le 11/09/2019, 16:01]
frantzd [Déplacer son répertoire usr (ou /usr)]
deplacer_repertoire_usr [Le 11/09/2022, 11:51] (Version actuelle)
moths-art Suppression des espaces en fin de ligne (détecté et corrigé via le bot wiki-corrector (https://forum.ubuntu-fr.org/viewtopic.php?id=2067892)
Ligne 5: Ligne 5:
 ====== Déplacer son répertoire /usr ====== ====== Déplacer son répertoire /usr ======
  
-Cet article s'​adresse à ceux qui ont besoin de déplacer leur répertoire usr. Ce répertoire est dans la partition principale du système Linux (/). +Cet article s'​adresse à ceux qui ont besoin de déplacer leur répertoire usr. Ce répertoire est dans la partition principale du système Linux (/).
  
 Le /usr est volumineux, il contient les programmes accessibles à tout utilisateur;​ sa structure reproduit celle de la racine (/). Le /usr est volumineux, il contient les programmes accessibles à tout utilisateur;​ sa structure reproduit celle de la racine (/).
Ligne 35: Ligne 35:
 ==== Copier sa partition /usr ==== ==== Copier sa partition /usr ====
  
-Maintenant qu'une nouvelle partition a été créée, il faut copier les fichiers de l'​ancienne vers la nouvelle. ​+Maintenant qu'une nouvelle partition a été créée, il faut copier les fichiers de l'​ancienne vers la nouvelle.
  
   * Monter la partition   * Monter la partition
Ligne 44: Ligne 44:
   sudo mount /dev/sdb1 /media/new   sudo mount /dev/sdb1 /media/new
  
-  * Copie des fichiers ​ +  * Copie des fichiers
 Cette commande va lancer la copie de tous les fichiers de l'​ancienne partition vers la nouvelle. En fonction de la quantité de données, cela peut prendre plus ou moins de temps. Cette commande va lancer la copie de tous les fichiers de l'​ancienne partition vers la nouvelle. En fonction de la quantité de données, cela peut prendre plus ou moins de temps.
  
Ligne 88: Ligne 88:
 === Suppression de l'​ancien /usr === === Suppression de l'​ancien /usr ===
  
-Redémarrer votre ordinateur sur un live CD ou un clé live USB. Monter la partition principale Ubuntu (/) dans /​media/​ubuntu/​.+**Redémarrer** votre ordinateur sur un live CD ou un clé USB **bootable** (live USB). Monter la partition principale Ubuntu (/) dans /​media/​ubuntu/​.
  
 Renommer le répertoire /​media/​ubuntu/​usr/​ en /​media/​ubuntu/​usr.0/​ pour cela tapez sur un terminal: Renommer le répertoire /​media/​ubuntu/​usr/​ en /​media/​ubuntu/​usr.0/​ pour cela tapez sur un terminal:
  • deplacer_repertoire_usr.1568210509.txt.gz
  • Dernière modification: Le 11/09/2019, 16:01
  • par frantzd