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 | ||
deplacer_repertoire_usr [Le 11/09/2019, 15:48] frantzd |
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 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 (/). |
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 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 ==== | ||
- | 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: |