On Friday 13 April 2018 21:25:16 Étienne Mollier wrote: > > "/boot/config-4.9.0-6-686-pae : aucun fichier ou dossier de ce type" > > Pourtant, j'ai bien ce fichier dans mon répertoire /boot : > > /boot/config-4.9.0-6-686-pae :
> À ma connaissance, la seule manière d'avoir un fichier absent, > mais présent en apparence, est d'avoir un lien symbolique brisé, > une sorte de raccourci vers un fichier qui n'existerait plus. Si > c'est le cas, ça devrait se voir en faisant un : > $ ls -l /boot/config-4.9.0-6-686-pae > $ ls -l /boot > Dans le doute, est ce que le système de fichier hébergeant le > /boot/ est plein ? Chez moi il n'y a pas de problèmes, du moins > pas apparents, et le système de fichier sous-jacent est rempli à > 86% par exemple : > $ df /boot/ > Filesystem 1K-blocks Used Available Use% Mounted on > /dev/sda7 13889020 11186404 1974040 86% / > On a vu plus d'une erreur bizarre causée au final par un disque > plein... : Le fichier y est bel et bien évidemment :-) > > Y a t-il une erreur dans la commande ? : > > grep CONFIG_DRM_RADEON= "/boot/config-$(uname -r)" > > et > > faut-il taper "CONFIG_DRM_RADEON=m" à la suite ou ensuite ? > > Il y a à priori pas d'erreur dans la commande, et la chaîne > "CONFIG_DRM_RADEON=m" aurait dû être le résultat, donc pas à > taper. Vous avez correctement interprété le contenu de mon > courriel initial. :-) > L'idée était d'utiliser "grep" pour trouver toutes les lignes > contenant "CONFIG_DRM_RADEON=" dans le fichier de configuration > de la compilation du noyau "/boot/config-<version>", où la > version était obtenue dynamiquement avec la commande "uname -r", > injectée à la fin du nom de fichier avec la syntaxe propre à bash > en "$(commande)". > Avec ce genre de commande et de fichier, les quatre résultats > possible sont : > 1. CONFIG_DRM_RADEON=m : devrait apparaitre avec le noyau > 4.9.0-6-686-pae par défaut ; > 2. CONFIG_DRM_RADEON=y : apparait quand pilote radeon a été > compilé en statique, au lieu d'être un module dynamique ; > 3. pas de résultat affiché : le noyau n'a pas été configuré pour > embarquer le pilote ; > 4. erreur : le fichier de configuration n'a pas pu être lu, pour > une raison quelconque. > Nous sommes dans le cas numéro quatre : La commande grep CONFIG_DRM_RADEON="/boot/config-$(uname -r)" a fini par marcher : J'ai obtenu la ligne : CONFIG_DRM_RADEON=m et plein d'autres... Dnc ça doit être bon. Merci et bonne fin de soirée. André