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
Dernière révision Les deux révisions suivantes
deplacer_repertoire_usr [Le 11/09/2019, 15:51]
frantzd [Créer une nouvelle partition]
deplacer_repertoire_usr [Le 20/11/2019, 10:56]
frantzd [Modifier les fichiers de gestion du disque]
Ligne 3: Ligne 3:
 ---- ----
  
-====== Déplacer son répertoire ​usr (ou /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 (/). 
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.txt
  • Dernière modification: Le 11/09/2022, 11:51
  • par moths-art