Contenu | Rechercher | Menus

Annonce

Si vous rencontrez des soucis à rester connecté sur le forum (ou si vous avez perdu votre mot de passe) déconnectez-vous et reconnectez-vous depuis cette page, en cochant la case "Me connecter automatiquement lors de mes prochaines visites".
Test de l'ISO d'Ubuntu francophone : nous avons besoin de testeurs pour la version francophone d'Ubuntu 14.04. Liens et informations ici.

Attention, une faille de sécurité dans bash a récemment été rapportée, il est recommandé de mettre à jour son système (plus de détails) *** mise à jour 12/10/2014 ***

#1 Le 05/03/2013, à 15:48

Clhiver

(Résolu) Peut-on supprimer /usr/src ?

Coucou, Je suis toujours dans le grand ménage de printemps...
Sachant que je ne compile pratiquement jamais, est-il possible de supprimer sans danger le dossier /usr/src ?
Voilà. Merci pour vos réponses !

Dernière modification par Clhiver (Le 12/03/2013, à 11:58)


L'informatique ça marche, sauf quand ça ne marche pas !

Hors ligne

#2 Le 05/03/2013, à 17:33

tiramiseb

Re : (Résolu) Peut-on supprimer /usr/src ?

Quel serait l'intéret de supprimer ce dossier, qui fait partie du FHS (Filesystem Hierarchy Standard) ?


Sébastien Maccagnoni-Munch - administrateur Linux depuis le XXe siècle
Consultant informatique indépendant - http://www.smm-informatique.fr
Geek et tout plein d'autres choses - http://www.tiramiseb.fr

Hors ligne

#3 Le 06/03/2013, à 13:33

Clhiver

Re : (Résolu) Peut-on supprimer /usr/src ?

Coucou Tiramiseb, J'aime bien faire de la place et je me disais que comme je ne compile jamais, je n'avais pas besoin des sources. J'ai tort ?


L'informatique ça marche, sauf quand ça ne marche pas !

Hors ligne

#4 Le 06/03/2013, à 13:39

tiramiseb

Re : (Résolu) Peut-on supprimer /usr/src ?

Si tu n'as pas besoin des sources ou des headers du noyau (qui sont généralement, sur un système Ubuntu de base, les seules présentes sur le système dans ce répertoire), il ne faut pas supprimer le répertoire. Il faut désinstaller les paquets qui correspondent à son contenu. Il s'agit des paquets "linux-source-XXX" et "linux-headers-XXX" ; probablement "linux-headers-XXX" sur ton système.

dpkg -l | grep linux-headers

Attention, ces headers sont utilisés par le driver propriétaire NVidia, peut-être par le driver ATI/AMD, ainsi que par VirtualBox (ce sont les trois plus courants que je vois) : des modules noyau doivent être recompilés à chaque installation d'un nouveau noyau, c'est là que les headers sont utilisés.


Tu peux par contre bien sûr supprimer les anciens headers comme tu supprimes les anciens noyaux (sauf les deux derniers).


Sébastien Maccagnoni-Munch - administrateur Linux depuis le XXe siècle
Consultant informatique indépendant - http://www.smm-informatique.fr
Geek et tout plein d'autres choses - http://www.tiramiseb.fr

Hors ligne

#5 Le 06/03/2013, à 16:34

Clhiver

Re : (Résolu) Peut-on supprimer /usr/src ?

Oh lalalala, en clair, l'informatique, c'est clair, sauf quand c'est franchement compliqué. Bon. J'ai supprimé le contenu du dossier  /usr/src, mais, j'ai bien sûr conservé le dossier lui-même. Et bien sûr, j'aime bien utiliser VirtualBox... J'imagine que je ferais bien de remettre ce qu'il y avait dedans... Je suis vraimment nulle car j'essaie de jouer à la grande, mais je me plante à chaque fois ! Bref, je te donne le retour de dpkg -l | grep linux-headers

ii  linux-headers-3.5.0-24               3.5.0-24.37                               all          Header files related to Linux kernel version 3.5.0
ii  linux-headers-3.5.0-24-generic       3.5.0-24.37                               i386         Linux kernel headers for version 3.5.0 on 32 bit x86 SMP
ii  linux-headers-3.5.0-25               3.5.0-25.39                               all          Header files related to Linux kernel version 3.5.0
ii  linux-headers-3.5.0-25-generic       3.5.0-25.39                               i386         Linux kernel headers for version 3.5.0 on 32 bit x86 SMP
ii  linux-headers-generic                3.5.0.25.31                               i386         Generic Linux kernel headers

Je fais comment pour remettre les bons fichiers (des deux derniers noyaux) dans /usr/src ?


L'informatique ça marche, sauf quand ça ne marche pas !

Hors ligne

#6 Le 06/03/2013, à 16:43

tiramiseb

Re : (Résolu) Peut-on supprimer /usr/src ?

Je fais comment pour remettre les bons fichiers (des deux derniers noyaux) dans /usr/src ?

sudo apt-get install --reinstall linux-headers-3.5.0-24 linux-headers-3.5.0-24-generic linux-headers-3.5.0-25 linux-headers-3.5.0-25-generic linux-headers-generic

Sébastien Maccagnoni-Munch - administrateur Linux depuis le XXe siècle
Consultant informatique indépendant - http://www.smm-informatique.fr
Geek et tout plein d'autres choses - http://www.tiramiseb.fr

Hors ligne

#7 Le 12/03/2013, à 11:57

Clhiver

Re : (Résolu) Peut-on supprimer /usr/src ?

Bien sut, suis-je sotte... Encore merci Seb.


L'informatique ça marche, sauf quand ça ne marche pas !

Hors ligne

Haut de page ↑