Contenu | Rechercher | Menus

Annonce

Si vous avez des soucis pour rester connecté, déconnectez-vous puis reconnectez-vous depuis ce lien en cochant la case
Me connecter automatiquement lors de mes prochaines visites.

À propos de l'équipe du forum.

#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

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 . . .  wink

Hors ligne

#8 Le 29/07/2008, à 14:28

Compte anonymisé

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 . . .  wink

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

jeanjd63 a écrit :
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 . . .  wink

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

jeanjd63 a écrit :

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é.

@+

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

jeanjd63 a écrit :

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

jeanjd63 a écrit :

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é.

@+

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

cep a écrit :

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

mahdiubuntu a écrit :

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

Elemmire a écrit :

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

Elemmire a écrit :

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 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-selection < 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.

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