crowd42 : Configurer facilement les options de Grub grâce à Grub Customizer
Grub Customizer est un logiciel avec interface graphique (GUI), qui permet en toute simplicité de configurer les options et préférences de Grub. Parmi ses nombreuses fonctionnalités, il y a la possibilité de déplacer, enlever, modifier ou encore renommer les entrées du menu Grub. Et ce n’est pas tout, vous pourrez également sélectionner l’OS par défaut, ainsi que de réinstaller le bootloader dans le MBR.
Tue 21 May 2013 11:01:50 PM CEST - permalink -
-
http://www.planet-libre.org/index.php?post_id=14020&go=external