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 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:48] frantzd |
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 31: | Ligne 31: | ||
==== Créer une nouvelle partition ==== | ==== Créer une nouvelle partition ==== | ||
- | Vous devez utiliser une partition vide et formater linux (ext4). Si vous n'avez pas déjà cette partition vous devez la créer. Pour modifier, créer ou supprimer vos partitions vous pouvez utiliser le logiciel [[GParted]]. Dans mon exemple je crée une partition primaire sur une carte SD de 16GB. | + | Vous devez utiliser une partition vide et la formater en ext4. Si vous n'avez pas déjà cette partition vous devez la créer. Pour modifier, créer ou supprimer vos partitions vous pouvez utiliser le logiciel [[GParted]]. Dans mon exemple je crée une partition primaire sur une carte SD de 16GB. |
==== Copier sa partition /usr ==== | ==== Copier sa partition /usr ==== | ||
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: |