Différences
Ci-dessous, les différences entre deux révisions de la page.
Les deux révisions précédentes Révision précédente | Dernière révision Les deux révisions suivantes | ||
deplacer_repertoire_usr [Le 11/09/2019, 16:01] frantzd [Déplacer son répertoire usr (ou /usr)] |
deplacer_repertoire_usr [Le 20/11/2019, 10:56] frantzd [Modifier les fichiers de gestion du disque] |
||
---|---|---|---|
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: |