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 30/03/2019, 21:24]
Iamawalrus [Modifier les fichiers de gestion du disque]
deplacer_repertoire_usr [Le 20/11/2019, 10:56] (Version actuelle)
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 (/). 
  
 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 (/).
- 
- 
  
 ===== Pourquoi déplacer son répertoire /usr ===== ===== Pourquoi déplacer son répertoire /usr =====
  
-La principale raison de déplacer son répertoire /usr est de gagner de la place dans la partition (/). Cette opération peut être utile lorsque vous utilisez un disque SSD pour la partion (/) et qu'il vous manque de la place pour installer vos applications. Par exemple lorsque vous avez installé Ubuntu sur un Asus eeepc 701 équipé de 4 GB en stockage. +La principale raison de déplacer son répertoire /usr est de gagner de la place dans la partition (/). Cette opération peut être utile,  par exemple, lorsqu'il vous manque de la place pour installer vos applications ​après avoir installé Ubuntu sur votre disque dur.
  
 ===== Mode opératoire ===== ===== Mode opératoire =====
Ligne 20: Ligne 17:
 La procédure de déplacement du répertoire /usr/ consiste en 5 étapes : La procédure de déplacement du répertoire /usr/ consiste en 5 étapes :
  
-  - Créer une nouvelle partition en ext4 (sur une carte SD par exemple)+  - Créer une nouvelle partition en ext4 s'il vous reste de l'​espace libre non partitionné sur votre/vos disque/s dur/s (ou sur un autre support, si besoin)
   - Copier les fichiers de l'​ancien répertoire /usr à la nouvelle partition ("​new"​).   - Copier les fichiers de l'​ancien répertoire /usr à la nouvelle partition ("​new"​).
   - Modifier les fichiers de gestion de partition (/​etc/​fstab).   - Modifier les fichiers de gestion de partition (/​etc/​fstab).
   - Renommer l'​ancien répertoire /usr/.   - Renommer l'​ancien répertoire /usr/.
   - Effacer l'​ancien répertoire après avoir vérifié que la nouvelle configuration de partition dédiée au répertoire /usr/ fonctionne correctement.   - Effacer l'​ancien répertoire après avoir vérifié que la nouvelle configuration de partition dédiée au répertoire /usr/ fonctionne correctement.
- 
- 
  
 ===== Pré-requis ===== ===== Pré-requis =====
- 
- 
  
   * Posséder un live CD/USB afin de pouvoir manipuler vos répertoires de l'​extérieur.   * Posséder un live CD/USB afin de pouvoir manipuler vos répertoires de l'​extérieur.
- 
  
 ===== Déplacer son /usr ===== ===== Déplacer son /usr =====
- 
- 
  
 ==== Créer une nouvelle partition ==== ==== Créer une nouvelle partition ====
  
-Vous devez utiliser une partition vide et formater ​linux (ext3). 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
-Vous devez monter la nouvelle partition sur laquelle on va copier le contenu du répertoire /usr. Nous allons utiliser le fichier /dev/sdb1 pour identifier la nouvelle partition qui accueillera le repertoire ​/usr, vous devez adapter les lignes de commande à votre cas.+Vous devez monter la nouvelle partition sur laquelle on va copier le contenu du répertoire /usr. Nous allons utiliser le fichier /dev/sdb1 pour identifier la nouvelle partition qui accueillera le répertoire ​/usr, vous devez adapter les lignes de commande à votre cas.
  
 Sur un émulateur de terminal tapez: Sur un émulateur de terminal tapez:
-  sudo mkdir /media/new/ +  sudo mkdir /​media/​new 
-  sudo mount /dev/sdb1 /media/new/+  sudo mount /dev/sdb1 /media/new
  
   * Copie des fichiers  ​   * Copie des fichiers  ​
Ligne 59: Ligne 50:
  
 ==== Modifier les fichiers de gestion du disque ==== ==== Modifier les fichiers de gestion du disque ====
 +
 Il reste à modifier : Il reste à modifier :
   * le fichier de gestion des partitions ([[mount_fstab#​Le fichier fstab|fstab]]) pour indiquer au système la nouvelle organisation du système de fichier.   * le fichier de gestion des partitions ([[mount_fstab#​Le fichier fstab|fstab]]) pour indiquer au système la nouvelle organisation du système de fichier.
Ligne 66: Ligne 58:
  
 === Le fichier fstab === === Le fichier fstab ===
-Il n'y a qu'une ligne à ajouter dans le fichier /etc/fstab pour indiquer où est montée ​le répertoire /usr. Pour celà il faut indiquer le répertoire /usr après le montage du répertoire racine (/). Nous allons utiliser le UUID pour des raisons pratiques au lieu d'​utiliser le fichier /dev/sdb1.+ 
 +Il n'y a qu'une ligne à ajouter dans le fichier /etc/fstab pour indiquer où est monté ​le répertoire /usr. Pour cela il faut indiquer le répertoire /usr après le montage du répertoire racine (/). Nous allons utiliser le UUID pour des raisons pratiques au lieu d'​utiliser le fichier /dev/sdb1.
 <​note>​ <​note>​
 Pour obtenir l'UUID d'une partition, tapez : Pour obtenir l'UUID d'une partition, tapez :
Ligne 78: Ligne 71:
 On va ajouter dans le fichier /etc/fstab les lignes (n'​oubliez pas sudo avant votre commande): On va ajouter dans le fichier /etc/fstab les lignes (n'​oubliez pas sudo avant votre commande):
   # /dev/sdb1   # /dev/sdb1
-  UUID=XXX /​usr   ​ext3   defaults ​       0       2+  UUID=XXX /​usr   ​ext4   defaults ​       0       2
  
 Exemple: Exemple:
Ligne 86: Ligne 79:
   proc            /proc           ​proc ​   defaults ​       0       0   proc            /proc           ​proc ​   defaults ​       0       0
   # /dev/sda1   # /dev/sda1
-  UUID=f3fed55a-f811-4353-b572-d949e6f3c253 /               ext3    ​relatime,​errors=remount-ro 0       1+  UUID=f3fed55a-f811-4353-b572-d949e6f3c253 /               ext4    ​relatime,​errors=remount-ro 0       1
   # /dev/sdb1   # /dev/sdb1
-  UUID=e4b27c02-a8d9-4e99-b9d9-ffd2e08309ab /​usr   ​ext3   defaults ​       0       2+  UUID=e4b27c02-a8d9-4e99-b9d9-ffd2e08309ab /​usr   ​ext4   defaults ​       0       2
   # /dev/sda2   # /dev/sda2
   UUID=5888742c-ead8-414a-980d-d771d0379a9a none            swap    sw              0       0   UUID=5888742c-ead8-414a-980d-d771d0379a9a none            swap    sw              0       0
Ligne 95: Ligne 88:
 === Suppression de l'​ancien /usr === === Suppression de l'​ancien /usr ===
  
-Redémarrer votre ordinateur sur un live CD ou un live USB. Monter la partion ​principale Ubuntu (/) dans /​media/​ubuntu/ ​puis monter la nouvelle partition ext3 qui va accueillir le répertoire /usr dans /​media/​laUsr.+**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 celà tapez sur un terminal:+Renommer le répertoire /​media/​ubuntu/​usr/​ en /​media/​ubuntu/​usr.0/​ pour cela tapez sur un terminal:
  
-  sudo mv /​media/​ubuntu/​usr/​media/​ubuntu/​usr.0/+  sudo mv /​media/​ubuntu/​usr /​media/​ubuntu/​usr.0
  
-Créer un nouveau répertoire vide sur lequel sera monté la partition ​qui contient les données du /usr. Tapez sur un terminal:+Créer un nouveau répertoire vide sur lequel sera monté la nouvelle ​partition /usr à parti du prochain démarrage. Tapez sur un terminal:
  
-  sudo mkdir /​media/​ubuntu/​usr/+  sudo mkdir /​media/​ubuntu/​usr
  
 Redémarrer sur votre disque où est installé votre ubuntu. Tapez la commande suivante pour vérifier les systèmes de fichiers: Redémarrer sur votre disque où est installé votre ubuntu. Tapez la commande suivante pour vérifier les systèmes de fichiers:
  
-  df -h+  df -hT
  
 Vous obtenez ceci entre autre: Vous obtenez ceci entre autre:
Ligne 114: Ligne 107:
   /​dev/​sdb1 ​            ​4,​9G ​ 2,4G  2,3G  52% /usr   /​dev/​sdb1 ​            ​4,​9G ​ 2,4G  2,3G  52% /usr
  
-Notez que sur mon exemple sda1 est la partition où est installé Ubuntu.+Notez que dans mon exemple sda1 est la partition où est installé Ubuntu.
  
-Si tout fonctionne correctement on va supprimer le dossier de sauvegarde (usr.0) ​ouvrir ​un terminal et tapez:+Si tout fonctionne correctementon va supprimer le dossier de sauvegarde (usr.0). Ouvrir ​un terminal et tapez:
  
   sudo rm -rf /usr.0   sudo rm -rf /usr.0
  • deplacer_repertoire_usr.1553977472.txt.gz
  • Dernière modification: Le 30/03/2019, 21:24
  • par Iamawalrus