12 March 2016grub Linux boot initialisation du système grub-mkconfig grub-mkconfig Génère un fichier de configuration GRUB OPTIONS -o, --output=FILE Définis le fichier de sortie. Défaut: STDOUT