#1 Le 29/07/2008, à 11:19
- mahdiubuntu
Augmenter la taille de la partition /usr sous ubuntu 8.04 hardy
Bonjour à tous,
Comme le titre dit , j'ai un problème d'espace avec ma partion /usr donc ce qui est impossible pour moi d'installer un application.Je suis ps tout a fait debutant sur linux en general et j'ai suivi la formation d'ubuntu en mois de mai dernier et depuis lors , je suis en plein ubuntu. voila le resultat des commandes:
en tapant : df
Filesystem 1K-blocks Used Available Use% Mounted on
/dev/sda8 980308 174668 755844 19% /
varrun 252972 116 252856 1% /var/run
varlock 252972 0 252972 0% /var/lock
udev 252972 72 252900 1% /dev
devshm 252972 12 252960 1% /dev/shm
lrm 252972 38176 214796 16% /lib/modules/2.6.24-12-generic/volatile
/dev/sda6 93275 24141 64318 28% /boot
/dev/sda12 980308 653156 277356 71% /home
/dev/sda1 15358108 8388268 6969840 55% /media/sda1
/dev/sda5 47423848 6212116 41211732 14% /media/sda5
/dev/sda9 980308 17720 912792 2% /tmp
/dev/sda10 1968588 1967756 0 100% /usr
/dev/sda11 1921156 292200 1531364 17% /var
et en tapant aussi sudo fdisk -l
Device Boot Start End Blocks Id System
/dev/sda1 * 1 1912 15358108+ 7 HPFS/NTFS
/dev/sda2 1913 9728 62782020 f W95 Ext'd (LBA)
/dev/sda5 3825 9728 47423848+ 7 HPFS/NTFS
/dev/sda6 1913 1924 96327 83 Linux
/dev/sda7 1925 2048 995998+ 82 Linux swap / Solaris
/dev/sda8 2049 2172 995998+ 83 Linux
/dev/sda9 2173 2296 995998+ 83 Linux
/dev/sda10 2297 2545 2000061 83 Linux
/dev/sda11 2546 2788 1951866 83 Linux
/dev/sda12 2789 2912 995998+ 83 Linux
donc voila les resultats de ses deux commandes qui permettent de voir au clair le probleme.
J'attend patiemment vos reponses pour que je puisse avancer dans mon exploration de ce fameux système.
cordialement,
Mahdi
Hors ligne
#2 Le 29/07/2008, à 11:26
- cep
Re : Augmenter la taille de la partition /usr sous ubuntu 8.04 hardy
/dev/sda5 étant seulement utilisée à 14%, tu pourrais la réduire, et créer sur l'emplacement gagné une nouvelle logique.
Tu transfères ensuite ton /usr dessus, depuis un live cdrom et tu modifies /etc/fstab.
Hors ligne
#3 Le 29/07/2008, à 11:53
- mahdiubuntu
Re : Augmenter la taille de la partition /usr sous ubuntu 8.04 hardy
salut cep,
ce que le /dev/sda5 est ma partion de données qui sous windows dont je ve pas la toucher mais j'ai reservé 15Go pour ubuntu dont je sai qu'il y a d'espace non utiliser sur la partition ubuntu que je vois le reste.
Comment je peux voir cet espace libre?
Hors ligne
#4 Le 29/07/2008, à 12:24
- mahdiubuntu
Re : Augmenter la taille de la partition /usr sous ubuntu 8.04 hardy
personne pr m'aider a resoudre ce pb posé ci-dessus
Hors ligne
#5 Le 29/07/2008, à 13:30
- cep
Re : Augmenter la taille de la partition /usr sous ubuntu 8.04 hardy
/dev/sda8 avec / est utilisée à 19%
C'est une autre solution, si tu préfères, et à ce moment tu copies ton /ust sur / et tu commentes la ligne /usr dans /etc/fstab
Pour faire cela, tu peux t'inspirer de la page deplacer_home dans le wiki.
Hors ligne
#6 Le 29/07/2008, à 13:59
- Compte anonymisé
Re : Augmenter la taille de la partition /usr sous ubuntu 8.04 hardy
Salut
Copier /usr sur / me parait assez "acrobatique" (/usr = 2 Go à 100% et / = 1 Go dont 0,7 dispo).
La solution serait peut être de copier la partition /var (/dev/sda11 qui de plus est voisine de /usr) sur la partition / et ainsi tu libères 2 Go pour agrandir /usr.
Dans tous les cas tes partitions Linux sont largement trop petites pour une installation standard.
Si maintenant tu dis que tu as réservé 15 Go pour Ubuntu tu dois les trouver en lançant Gparted comme espace inutilisé.
Actuellement tes partitions linux utilisent environ 8 Go sur 15 Go. tu dois donc avoir 7 Go dispo.
@+
Dernière modification par Compte anonymisé (Le 29/07/2008, à 14:18)
#7 Le 29/07/2008, à 14:23
- cep
Re : Augmenter la taille de la partition /usr sous ubuntu 8.04 hardy
Salut
Copier /usr sur / me parait assez "acrobatique" (/usr = 19 Go à 100%
faux pour 19 Go ( 1K-blocks )
vrai pour place manquante sur /
mahdiubuntu, tu peux utiliser df -h pour simplifier la tâche . . .
Hors ligne
#8 Le 29/07/2008, à 14:28
- Compte anonymisé
Re : Augmenter la taille de la partition /usr sous ubuntu 8.04 hardy
jeanjd63 a écrit :Salut
Copier /usr sur / me parait assez "acrobatique" (/usr = 19 Go à 100%
faux pour 19 Go ( 1K-blocks )
vrai pour place manquante sur /mahdiubuntu, tu peux utiliser df -h pour simplifier la tâche . . .
Déjà rectifié pour les tailles. ET c'est vrai que c'est vraiment taillé just et donc source d'emm....des sans fin.
#9 Le 29/07/2008, à 14:36
- cep
Re : Augmenter la taille de la partition /usr sous ubuntu 8.04 hardy
cep a écrit :jeanjd63 a écrit :Salut
Copier /usr sur / me parait assez "acrobatique" (/usr = 19 Go à 100%
faux pour 19 Go ( 1K-blocks )
vrai pour place manquante sur /mahdiubuntu, tu peux utiliser df -h pour simplifier la tâche . . .
Déjà rectifié pour les tailles. ET c'est vrai que c'est vraiment taillé just et donc source d'emm....des sans fin.
Oui, c'est ce qui arrive lorqu'on croit nécessaire de multiplier les fs pour une utilisation classique.
La plupart du temps, ne connaissant pas du tout le système, on se trompe sur les évaluations de besoins.
Dans 90 % des cas, seuls / et swap sont nécessaires. À la rigueur /home.
Hors ligne
#10 Le 29/07/2008, à 16:36
- mahdiubuntu
Re : Augmenter la taille de la partition /usr sous ubuntu 8.04 hardy
jeanjd63 , si je copie le /var dans / et comment je veux augmenter le 2Go de /var à /usr
Hors ligne
#11 Le 29/07/2008, à 17:34
- Compte anonymisé
Re : Augmenter la taille de la partition /usr sous ubuntu 8.04 hardy
Il faut, quand tu as fait la copie (depuis un LiveCd bien sûr), modifier le fichier /etc/fstab pour supprimer les lignes référençant /dev/sda11 et /var :
sudo mkdir /mnt/root /mnt/var création des points de montage
sudo mount /dev/sda8 /mnt/root montage de root
sudo mount /dev/sda11 /mnt/var montage de /var
sudo cp -a /mnt/var/. /mnt/root/var/ copie des fichiers
sudo gedit /mnt/root/etc/fstab et là tu supprimes (ou commentes) les références à /var
Ensuite si ta machine reboote correctement, tu vérifies par la commande :
sudo mount que tu n'as plus de références à /dev/sda11 ni /var.
Tu rebootes en LiveCd
Tu démontes les partitions inutiles (on ne sait jamais, elles peuvent être montées en auto au boot ce qui empêche Gparted de fonctionner correctement)
sudo umount -a
Puis en lançant Gparted (Système, Editeur de partition), tu supprimes la partition /dev/sda11.
Et ensuite tu agrandis la partition /dev/sda10 avec l'espace libéré.
@+
Dernière modification par Compte anonymisé (Le 29/07/2008, à 17:38)
#12 Le 29/07/2008, à 18:44
- cep
Re : Augmenter la taille de la partition /usr sous ubuntu 8.04 hardy
Il faut, quand tu as fait la copie (depuis un LiveCd bien sûr), modifier le fichier /etc/fstab pour supprimer les lignes référençant /dev/sda11 et /var :
sudo mkdir /mnt/root /mnt/var création des points de montage
sudo mount /dev/sda8 /mnt/root montage de root
sudo mount /dev/sda11 /mnt/var montage de /var
sudo cp -a /mnt/var/. /mnt/root/var/ copie des fichiers
sudo gedit /mnt/root/etc/fstab et là tu supprimes (ou commentes) les références à /var
Ensuite si ta machine reboote correctement, tu vérifies par la commande :
sudo mount que tu n'as plus de références à /dev/sda11 ni /var.Tu rebootes en LiveCd
Tu démontes les partitions inutiles (on ne sait jamais, elles peuvent être montées en auto au boot ce qui empêche Gparted de fonctionner correctement)
sudo umount -aPuis en lançant Gparted (Système, Editeur de partition), tu supprimes la partition /dev/sda11.
Et ensuite tu agrandis la partition /dev/sda10 avec l'espace libéré.
@+
pas trop le temps de rentrer dans les détails, mais le problème est toujours entier, tel que soulevé dans le poste précédent.
/dev/sda8 est trop petit en l'état pour recevoir /usr et /var.
Il faut donc entreposer ailleurs les données avant de supprimer les 2 partitions et ensuite réintégrer l'zspace sur /dev/sda8.
Voir la première solution conseillée :
il devrait être possible de reprendre 4 go sur la partition windows
Hors ligne
#13 Le 29/07/2008, à 18:49
- Compte anonymisé
Re : Augmenter la taille de la partition /usr sous ubuntu 8.04 hardy
En aucun cas il est indiqué de copier /usr et /var sur /.
Les commandes ci-dessus ne concernent que la copie de /var sur / et là ça passe.
Bien sûr on est ric-rac en terme de place.
La deuxième partie, à l'aide de Gparted, sert à étendre /usr sur la place laissée libre par /var (+2 Go)
Dernière modification par Compte anonymisé (Le 29/07/2008, à 18:50)
#14 Le 29/07/2008, à 19:25
- pappou640
Re : Augmenter la taille de la partition /usr sous ubuntu 8.04 hardy
Bonjour tout le monde ,
Pour faire facile et ne rien casser , ni perdre dans la manoueuvre essayé un live cd de SLAX LFI.2, http://slaxlfi.free.fr/
Vous allez modifier , suprimé , etendre ou retrécir , n'importe quelle partition sur vos ,ou votre disque dur , sans embrouille aucune et sans étre un grand spécialiste , vous aurez Gparted en francais , et libre pour travailler sur la machine .
Pour télcharger Slax regardez , dans la signature et sur le site vous trouverez le mode d'emploie
Bon courage, on peut aussi voir les dossiers que l'on a sur Wi*** et les copier par exemple sur un autre disque ou un cd , ou une autre partition si on a de la place
Dernière modification par pappou640 (Le 29/07/2008, à 19:30)
Ordi:Dell reco Win10 Ubuntu 20.04/Linux Hybryde13.10/Emabuntu deb 3. http://voyagerlive.org/ Essentiel=> [Accueil Ubuntu=>url=https://doc.ubuntu-fr.org/
Penses à passer ton sujet en [Résolu] en éditant le titre de ton 1er post (message)
Hors ligne
#15 Le 29/07/2008, à 19:42
- cep
Re : Augmenter la taille de la partition /usr sous ubuntu 8.04 hardy
En aucun cas il est indiqué de copier /usr et /var sur /.
Les commandes ci-dessus ne concernent que la copie de /var sur / et là ça passe.
Bien sûr on est ric-rac en terme de place.La deuxième partie, à l'aide de Gparted, sert à étendre /usr sur la place laissée libre par /var (+2 Go)
Oui, grosso modo 600 Mo sur / qui fait 1 Go environ. C'est jouable. Au besoin faire un aptitude ou apt-get clean avant.
L'idéal, si c'est une installation toute récente, serait de tout recommencer. Il y a aussi risque de saturer /home, trop petit.
Hors ligne
#16 Le 30/07/2008, à 10:04
- mahdiubuntu
Re : Augmenter la taille de la partition /usr sous ubuntu 8.04 hardy
Il faut, quand tu as fait la copie (depuis un LiveCd bien sûr), modifier le fichier /etc/fstab pour supprimer les lignes référençant /dev/sda11 et /var :
sudo mkdir /mnt/root /mnt/var création des points de montage
sudo mount /dev/sda8 /mnt/root montage de root
sudo mount /dev/sda11 /mnt/var montage de /var
sudo cp -a /mnt/var/. /mnt/root/var/ copie des fichiers
sudo gedit /mnt/root/etc/fstab et là tu supprimes (ou commentes) les références à /var
Ensuite si ta machine reboote correctement, tu vérifies par la commande :
sudo mount que tu n'as plus de références à /dev/sda11 ni /var.Tu rebootes en LiveCd
Tu démontes les partitions inutiles (on ne sait jamais, elles peuvent être montées en auto au boot ce qui empêche Gparted de fonctionner correctement)
sudo umount -aPuis en lançant Gparted (Système, Editeur de partition), tu supprimes la partition /dev/sda11.
Et ensuite tu agrandis la partition /dev/sda10 avec l'espace libéré.
@+
salut à tous et je m'excuse vraiment car hier j'ai quitté mon bureau un peu tôt ce qui fait que c'est maintenant que j'ai vu vos reponses . Il y a dans tout ca le gparted que je dois imperativement installer alors le probleme se situe au niveau /usr dont je n'arrive pas à installer un paquetage par son manque d'espace.
Y a t'il un notre moyen pour installer gparted sans utiliser /usr?
Hors ligne
#17 Le 30/07/2008, à 10:08
- cep
Re : Augmenter la taille de la partition /usr sous ubuntu 8.04 hardy
Non, les opérations sont impérativement à faire depuis un live cdrom
Hors ligne
#18 Le 30/07/2008, à 10:25
- mahdiubuntu
Re : Augmenter la taille de la partition /usr sous ubuntu 8.04 hardy
Non, les opérations sont impérativement à faire depuis un live cdrom
ok cep je te tiendrai pour la suite
merci
Hors ligne
#19 Le 30/07/2008, à 10:26
- Compte anonymisé
Re : Augmenter la taille de la partition /usr sous ubuntu 8.04 hardy
salut à tous et je m'excuse vraiment car hier j'ai quitté mon bureau un peu tôt ce qui fait que c'est maintenant que j'ai vu vos reponses . Il y a dans tout ca le gparted que je dois imperativement installer alors le probleme se situe au niveau /usr dont je n'arrive pas à installer un paquetage par son manque d'espace.
Y a t'il un notre moyen pour installer gparted sans utiliser /usr?
Gparted est présent sur le LiveCd et comme dit et répété ci-dessus toutes ces opérations sont à effectuer depuis un LiveCd.
@+
#20 Le 30/07/2008, à 10:45
- Elemmire
Re : Augmenter la taille de la partition /usr sous ubuntu 8.04 hardy
pouquoi ne pas sauvegarder ton /home et refaire toute l'installation proprement en ne mettant cette fois que 3 partitions : / , la swap et /home
cela serait beaucoup plus simple et rapide.
surtout qu'en utilisant les commandes :
dpkg --get-selections > list_package
dpkg --set-selections < liste_package
apt-get dselect-upgrade
qui permettent respectivement de sauvegarder la liste des paquets installés
puis de réimporter (aprés réinstallation) la liste des paquets et enfin de les installer ...
perso c'est comme ca que je fait pour ma machine (que je reinstalle souvent pour pouvoir tester differentes distrib) et je mets pas plus d'une heure pour la reinstallation.
Dernière modification par Elemmire (Le 30/07/2008, à 17:29)
Hors ligne
#21 Le 30/07/2008, à 13:00
- mahdiubuntu
Re : Augmenter la taille de la partition /usr sous ubuntu 8.04 hardy
pouquoi ne pas sauvegarder ton /home et refaire toute l'installation proprement en ne mettant cette fois que 3 partitions : / , la swap et /home
cela serait beaucoup plus simple et rapide.
surtout qu'en utilisant les commandes :dpkg --get-selection > list_package dpkg --set-selection < liste_package apt-get dselect-upgrade
qui permettent respectivement de sauvegarder la liste des paquets installés
puis de réimporter (aprés réinstallation) la liste des paquets et enfin de les installer ...
perso c'est comme ca que je fait pour ma machine (que je reinstalle souvent pour pouvoir tester differentes distrib) et je mets pas plus d'une heure pour la reinstallation.
ok Elemmire , je pense que je veux tester votre methode qui est plus exhaustive mais d'abord les trois codes doivent etre executer pour chaque paquet installé? et puis pour la réinstallation comment vous met suggerer avec une partition de 15Go a partager pour : /, la swap, et /home et sans oublier que ma machine a 512 de RAM.
Hors ligne
#22 Le 30/07/2008, à 14:34
- Elemmire
Re : Augmenter la taille de la partition /usr sous ubuntu 8.04 hardy
Tout d'abord, dans un terminal, lancez la commande suivante qui va vous permettre d'obtenir la liste de tous les paquets installés:
sudo dpkg --get-selections > list_package
liste_package doit etre un fichier que vous allez sauvegarder. Lancez la commande à partir de votre $HOME par ex.
ensuite il faut sauvegarder le répertoire /home. Faites le sur un support facile d'acces tel un disque externe ou votre partition windows. N'oubliez pas de sauvegarder les fichiers cachés (j'utilise rsync pour faire cela)
Vous poursuivez avec la réinstallation du système. Lors du choix des partitions, vous supprimez toutes les partitions en ext3 et la swap. Vous créez ensuite 3 partitions :
- / en ext3 d'environ 12GB
- swap de 1GB
- /home en ext3 de 2GB
une fois votre système installé et internet parametré, vous faites toutes les mise à jours. par ex :
sudo aptitude update && sudo aptitude dist-upgrade
vous recopiez ensuite votre sauvegarde de /home. Attention au droits qui on peut etre changé (en principe non car le premier utilisateur est créé avec l'ID 1000)
ensuite pour réinstaller vos softs comme avant, vous lancez ces 2 commandes dans un terminal:
sudo dpkg --set-selections < liste_package
sudo apt-get dselect-upgrade
assurez vous d'etre dans le meme répertoire que le fichier liste_package ou indiquez tout le tout le chemin (par ex /home/user/liste_package)
Attention !!! je tiens à préciser que cette manip ne permet pas de réinstaller les paramétrage spécifique que vous auriez pu faire. Si vous avez installer des logiciels tel que apache ou mysql, il est necessaire de sauvegarder les données de ceux ci ainsi que leurs fichiers de configuration.
Cette procédure n'est valable que pour un poste client basique sur lequel les données perso se trouvent dans le $HOMe des utilisateur. Dans le cas d'un serveur il est necessaire de sauvegarder et ensuite restaurer toutes les données inhérente aux différents services.
Dernière modification par Elemmire (Le 30/07/2008, à 17:28)
Hors ligne
#23 Le 30/07/2008, à 16:57
- mahdiubuntu
Re : Augmenter la taille de la partition /usr sous ubuntu 8.04 hardy
Tout d'abord, dans un terminal, lancez la commande suivante qui va vous permettre d'obtenir la liste de tous les paquets installés:
sudo dpkg --get-selection > list_package
liste_package doit etre un fichier que vous allez sauvegarder. Lancez la commande à partir de votre $HOME par ex.
ensuite il faut sauvegarder le répertoire /home. Faites le sur un support facile d'acces tel un disque externe ou votre partition windows. N'oubliez pas de sauvegarder les fichiers cachés (j'utilise rsync pour faire cela)
Vous poursuivez avec la réinstallation du système. Lors du choix des partitions, vous supprimez toutes les partitions en ext3 et la swap. Vous créez ensuite 3 partitions :
- / en ext3 d'environ 12GB
- swap de 1GB
- /home en ext3 de 2GBune fois votre système installé et internet parametré, vous faites toutes les mise à jours. par ex :
sudo aptitude update && sudo aptitude dist-upgrade
vous recopiez ensuite votre sauvegarde de /home. Attention au droits qui on peut etre changé (en principe non car le premier utilisateur est créé avec l'ID 1000)
ensuite pour réinstaller vos softs comme avant, vous lancez ces 2 commandes dans un terminal:sudo dpkg --set-selection < liste_package
sudo apt-get dselect-upgradeassurez vous d'etre dans le meme répertoire que le fichier liste_package ou indiquez tout le tout le chemin (par ex /home/user/liste_package)
Attention !!! je tiens à préciser que cette manip ne permet pas de réinstaller les paramétrage spécifique que vous auriez pu faire. Si vous avez installer des logiciels tel que apache ou mysql, il est necessaire de sauvegarder les données de ceux ci ainsi que leurs fichiers de configuration.
Cette procédure n'est valable que pour un poste client basique sur lequel les données perso se trouvent dans le $HOMe des utilisateur. Dans le cas d'un serveur il est necessaire de sauvegarder et ensuite restaurer toutes les données inhérente aux différents services.
En tapant le premier code , il me retourne des erreurs:
mahadi@mahadi-laptop:~$ sudo dpkg --get-selection > list_package
dpkg: option --get-selection inconnue
Taper dpkg --help pour une obtenir une aide sur l'installation et la désinstallation des paquets [*] ;
Utiliser « dselect » ou « aptitude » pour gérer le paquets de manière
plus conviviale ;
Taper dpkg -Dhelp pour une obtenir une liste des valeurs drapeaux de débogage ;
Taper dpkg --force-help pour consulter la liste des options de forçage ;
Taper dpkg-deb --help pour une obtenir une aide sur la manipulation des fichiers *.deb ;
Taper dpkg --licence pour voir la licence copyright et l'absence de garantie (GNU GPL) [*].
Les options marquées d'un [*] affichent beaucoup d'informations - tubez-les à travers « less » ou « more ».
Donc pourquoi cette erreur?
Hors ligne
#24 Le 30/07/2008, à 17:28
- Elemmire
Re : Augmenter la taille de la partition /usr sous ubuntu 8.04 hardy
juste une faute de frappe de ma part ... il faut un S à --get-selections et pareil pour --set-selections
Hors ligne