https://docinfo.ias.u-psud.fr/ 2026-05-14T00:00:30+0200 https://docinfo.ias.u-psud.fr/ https://docinfo.ias.u-psud.fr/lib/tpl/dokuwiki/images/favicon.ico text/html 2021-01-26T16:21:27+0200 Anonymous (anonymous@undisclosed.example.com) https://docinfo.ias.u-psud.fr/doku.php/linux:mise_a_jour_bios_dell_ubuntu?rev=1611674487&do=diff Mettre à jour le BIOS de son portable DELL sous Ubuntu 0 - Vérifier la version du BIOS $ sudo dmidecode |grep -i bios | grep -i revision 1 - Récupérer le Product Name de votre portable (modèle précis) $ sudo dmidecode |grep -i product Ex: text/html 2014-12-19T17:13:14+0200 Anonymous (anonymous@undisclosed.example.com) https://docinfo.ias.u-psud.fr/doku.php/linux:reparer_grub_configuration_systeme_raid?rev=1419005594&do=diff Réparer grub lorsque le système ne veut plus démarrer (configuration RAID sur le système) Symptome Après un reboot, grub ne veut plus lancer le kernel. Cause possible : coupure électrique, mise à jour mal terminée,... ici, par exemple, grub indique une erreur de type filesystem inconnu :