13 votes

Ubuntu - /usr est plein, recommandez-vous quelque chose là-dedans que je peux supprimer ?

Un de mes amis a partitionné son système ubuntu avec /usr sur une partition séparée. Cette partition est maintenant pleine. Il ne peut pas utiliser apt pour installer de nouveaux logiciels. Y a-t-il quelque chose dans /usr qu'il peut supprimer en toute sécurité (c'est-à-dire supprimer avec rm pas apt-get remove )?

Comme il ne peut pas installer de nouveaux logiciels, il ne peut pas installer quelque chose comme dpigs (l'outil pour vérifier quels paquets prennent de l'espace)

18voto

ahiskali Points 123

J'ai eu un problème similaire. La première étape a été de trouver les dix plus gros consommateurs d'espace :

# cd /usr/share
# du -sm * | sort -rn | head -10

/usr/share/doc était de 759MB sur mon système. De l'espace qui pourrait être utile à d'autres fins. Avec *nix, vous pouvez déplacer les choses sans les casser. Dans mon cas, j'avais beaucoup d'espace libre sur /home qui se trouvait sur une autre partition :

# mkdir -p /home/share/doc
# mv /usr/share/doc/* /home/share/doc
# rmdir /usr/share/doc
# ln -s /home/share/doc /usr/share/doc 

Si vous êtes vraiment désespéré, vous pouvez toujours monter un disque dur externe et effectuer un processus de relocalisation similaire. Dans ce cas, il faut veiller à ne pas déplacer sur le disque externe des éléments essentiels au démarrage du système. /usr/src est un autre candidat, mais je ne bougerais pas /usr/lib trop risqué.

11voto

Bart Silverstrim Points 31022

Avez-vous essayé "sudo apt-get clean", "apt-get autoclean", et "apt-get autoremove" ? Si vous utilisez "man apt-get", cela décrira ce que chacun fait et pourra libérer de l'espace.

9voto

vlad Points 824
/usr/share/doc
/usr/src

1voto

hookenz Points 13952

Une autre option non explorée est de redimensionner les partitions avec le livecd gparted. Sauvegardez d'abord vos données critiques et soyez prêt à tout perdre au cas où. J'ai fait un redimensionnement plusieurs fois auparavant et je n'ai pas eu de problème, donc c'est une procédure assez robuste.

Il pourrait également déplacer tout ce qui se trouve dans /usr vers une autre partition plus grande, en l'associant à un lien symbolique vers le nouvel emplacement. Ensuite, en utilisant gparted, vous pouvez supprimer l'ancienne partition /usr et fusionner /usr avec l'autre partition.

Personnellement, je ne vois pas l'utilité de séparer les partitions pour /usr /home etc. comme au bon vieux temps. Cela entraîne souvent plus de problèmes que cela n'en résout (par exemple, le manque d'espace). Mais ce n'est que mon opinion.

0voto

felipec Points 3278

Une astuce peu glorieuse serait d'essayer de désinstaller GNOME et d'obtenir quelque chose de léger à la place. Cela devrait permettre de gagner de l'espace.

SistemesEz.com

SystemesEZ est une communauté de sysadmins où vous pouvez résoudre vos problèmes et vos doutes. Vous pouvez consulter les questions des autres sysadmins, poser vos propres questions ou résoudre celles des autres.

Powered by:

X