grub-mkconfig
Génère un fichier de configuration GRUB
OPTIONS
-o, --output=FILE
Définis le fichier de sortie. Défaut: STDOUT