Différences
Ci-dessous, les différences entre deux révisions de la page.
Les deux révisions précédentesRévision précédenteProchaine révision | Révision précédente | ||
deplacer_repertoire_usr [Le 01/12/2009, 12:23] – 213.95.41.13 | deplacer_repertoire_usr [Le 20/11/2019, 10:56] (Version actuelle) – [Modifier les fichiers de gestion du disque] frantzd | ||
---|---|---|---|
Ligne 1: | Ligne 1: | ||
+ | {{tag> | ||
+ | |||
+ | ---- | ||
+ | |||
+ | ====== Déplacer son répertoire /usr ====== | ||
+ | |||
+ | Cet article s' | ||
+ | |||
+ | Le /usr est volumineux, il contient les programmes accessibles à tout utilisateur; | ||
+ | |||
+ | ===== 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, | ||
+ | |||
+ | ===== Mode opératoire ===== | ||
+ | |||
+ | La procédure de déplacement du répertoire /usr/ consiste en 5 étapes : | ||
+ | |||
+ | - Créer une nouvelle partition en ext4 s'il vous reste de l' | ||
+ | - Copier les fichiers de l' | ||
+ | - Modifier les fichiers de gestion de partition (/ | ||
+ | - Renommer l' | ||
+ | - Effacer l' | ||
+ | |||
+ | ===== Pré-requis ===== | ||
+ | |||
+ | * Posséder un live CD/USB afin de pouvoir manipuler vos répertoires de l' | ||
+ | |||
+ | ===== Déplacer son /usr ===== | ||
+ | |||
+ | ==== Créer une nouvelle partition ==== | ||
+ | |||
+ | 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 ==== | ||
+ | |||
+ | Maintenant qu'une nouvelle partition a été créée, il faut copier les fichiers de l' | ||
+ | |||
+ | * 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 répertoire /usr, vous devez adapter les lignes de commande à votre cas. | ||
+ | |||
+ | Sur un émulateur de terminal tapez: | ||
+ | sudo mkdir /media/new | ||
+ | sudo mount /dev/sdb1 /media/new | ||
+ | |||
+ | * Copie des fichiers | ||
+ | Cette commande va lancer la copie de tous les fichiers de l' | ||
+ | |||
+ | sudo cp -a /usr/. /media/new/ | ||
+ | |||
+ | ==== Modifier les fichiers de gestion du disque ==== | ||
+ | |||
+ | Il reste à modifier : | ||
+ | * le fichier de gestion des partitions ([[mount_fstab# | ||
+ | |||
+ | <note important> | ||
+ | Avant toute manipulation du fichier fstab pensez à en faire une sauvegarde dans un coin de votre ordinateur afin de pouvoir, le cas échéant, le restaurer</ | ||
+ | |||
+ | === Le fichier fstab === | ||
+ | |||
+ | 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' | ||
+ | < | ||
+ | Pour obtenir l'UUID d'une partition, tapez : | ||
+ | sudo blkid -c /dev/null -s UUID -o value /dev/sdb1 | ||
+ | ou dans les anciennes version de Ubuntu | ||
+ | sudo vol_id /dev/sdb1 | ||
+ | On prend la valeur ID_FS_UUID=XXX. | ||
+ | Dans mon exemple ID_FS_UUID=e4b27c02-a8d9-4e99-b9d9-ffd2e08309ab | ||
+ | </ | ||
+ | |||
+ | On va ajouter dans le fichier /etc/fstab les lignes (n' | ||
+ | # /dev/sdb1 | ||
+ | UUID=XXX / | ||
+ | |||
+ | Exemple: | ||
+ | # /etc/fstab: static file system information. | ||
+ | # | ||
+ | # <file system> <mount point> | ||
+ | proc /proc | ||
+ | # /dev/sda1 | ||
+ | UUID=f3fed55a-f811-4353-b572-d949e6f3c253 / | ||
+ | # /dev/sdb1 | ||
+ | UUID=e4b27c02-a8d9-4e99-b9d9-ffd2e08309ab / | ||
+ | # /dev/sda2 | ||
+ | UUID=5888742c-ead8-414a-980d-d771d0379a9a none swap sw 0 0 | ||
+ | |||
+ | |||
+ | === Suppression de l' | ||
+ | |||
+ | **Redémarrer** votre ordinateur sur un live CD ou un clé USB **bootable** (live USB). Monter la partition principale Ubuntu (/) dans / | ||
+ | |||
+ | Renommer le répertoire / | ||
+ | |||
+ | sudo mv / | ||
+ | |||
+ | 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 / | ||
+ | |||
+ | Redémarrer sur votre disque où est installé votre ubuntu. Tapez la commande suivante pour vérifier les systèmes de fichiers: | ||
+ | |||
+ | df -hT | ||
+ | |||
+ | Vous obtenez ceci entre autre: | ||
+ | Sys. de fich. Tail. Occ. Disp. %Occ. Monté sur | ||
+ | / | ||
+ | / | ||
+ | |||
+ | Notez que dans mon exemple sda1 est la partition où est installé Ubuntu. | ||
+ | |||
+ | Si tout fonctionne correctement, | ||
+ | |||
+ | sudo rm -rf /usr.0 | ||
+ | |||
+ | Il existe sans doute d' | ||
+ | |||
+ | ===== Voir aussi ===== | ||
+ | * [[: | ||
+ | * [[: | ||
+ | * [[repartitionner|Comment repartitionner]] | ||
+ | |||
+ | |||
+ | ---- | ||
+ | // | ||
+ | [[utilisateurs: | ||
+ | // | ||
+ | |||
+ | |||
+ | |||