Mon système d’exploitation original était/est W7 et chaque fois que j’installais Ubuntu 14.04 LTS, il me donnait 17 Go d’espace mais je souhaite maintenant l’étendre pour certaines applications.
Je suis un peu nouveau sur le disque et le partitionnement alors une bonne aide serait appréciée.
J'ai également installé Ubuntu aux côtés de W7.
Pour donner plus d'espace à Ubuntu, vous devrez faire quelques choses:
/dev/sda2
/dev/sda3
) pour inclure l'espace libéré par l'étape précédente.apt-get
, Software Centre
, etc.) ou aux applications utilisateur (celles que vous avez installées à partir de la source, des fichiers binaires précompilés, etc.)./dev/sda5
); dans ce dernier cas, créez une partition dans l’espace libre et montez-la à un endroit pratique. Je couvrirai le premier pour le moment, et le dernier si quelqu'un le demande.Pour accomplir la première étape, vous avez deux options:
Avec GParted, vous pouvez réduire la quantité d'espace disponible, mais l'opération sera lente. Avec Windows, la réduction sera très rapide, mais vous ne pourrez peut-être pas libérer autant d’espace qu’il est montré inutilisé. En effet, l'utilitaire Windows ne réduit que le dernier secteur utilisé, alors que GParted déplace les fichiers. Je vous recommande de voir ce que Windows est prêt à libérer et, si c'est satisfaisant, utilisez-le ou utilisez GParted. Et si vous choisissez d'utiliser GParted, utilisez un live CD/USB pour le faire. J'assumerai dorénavant un environnement en direct pour toutes les opérations Linux.
/dev/sda2
et en sélectionnant nmount. Choisissez Redimensionner/Déplacer et faites glisser l'extrémité droite du curseur (ou entrez les valeurs manuellement) jusqu'à ce que suffisamment d'espace libre apparaisse à la fin de la partition.gedit
et collez-le là, si vous voulez).Une fois les opérations terminées, vous devrez probablement modifier les valeurs UUID des partitions (telles qu'elles sont utilisées dans /etc/fstab
, GRUB, etc.). Pour cela, nous allons configurer un chroot
name__. Mais tout d’abord, répétez l’étape 2 pour obtenir le nouvel UUID de la partition racine. Si elles sont identiques, ne vous inquiétez pas, passez à la section suivante. Vous avez terminé. Si non:
Maintenant, ouvrez un terminal et procédez comme suit:
Sudo mount /dev/sda5 /mnt
Sudo mount -o bind /dev /mnt/dev
Sudo mount -t devpts none /mnt/dev/pts
Sudo mount -t proc none /mnt/proc
Sudo mount -t sysfs none /mnt/sysfs
Sudo chroot /mnt /bin/bash -l
Maintenant, vous serez dans un environnement chroot
dans votre Ubuntu installé, par opposition à la version réelle utilisée par Ubuntu pour y parvenir. Nous devons remplacer la valeur UUID pour root dans /etc/fstab
, utilisez donc l'éditeur de votre choix pour l'ouvrir et remplacez-la par celle que vous avez copiée il y a quelques étapes (si vous n'êtes pas familier avec vi
name__, utilisez nano
name__):
vi /etc/fstab
(Vous êtes root dans chroot
name__, vous n'avez donc pas besoin de Sudo
name__.) Ou utilisez la commande sed
name__:
sed -i 's/OLD_UUID/NEW_UUID/' /etc/fstab
(Remplacez OLD_UUID
et NEW_UUID
par les valeurs appropriées.)
Enfin, mettez à jour GRUB:
update-grub
Si cela se termine sans erreur, vous pouvez quitter le chroot (exit
name__) et redémarrer. Terminé!