GRUB-EDITENV(1) Commandes de l'utilisateur GRUB-EDITENV(1) NOM grub-editenv - Editer un bloc environnement de GRUB SYNOPSIS grub-editenv [OPTION...] FICHIER COMMANDE DESCRIPTION Outil pour modifier un bloc environnement. Commandes : create Creer un fichier de bloc environnement vide. list Lister les variables actuelles. set [NOM=VALEUR ...] Definir des variables unset [NOM ...] Supprimer des variables Options : -?, --help Afficher l'aide-memoire. --usage Afficher un court message pour l'utilisation. -v, --verbose Afficher des messages detailles. -V, --version Afficher la version du programme. Si FICHIER vaut << - >>, la valeur par defaut //boot/grub/grubenv est utilisee. Il n'y a pas de commande << delete >> ; si vous voulez supprimer le bloc environnement en entier, utiliser << rm //boot/grub/grubenv >>. SIGNALER DES BOGUES Signaler toute erreur a . VOIR AUSSI grub-reboot(8), grub-set-default(8) La documentation complete de grub-editenv est disponible dans un manuel Texinfo. Si les programmes info et grub-editenv sont correctement installes, la commande info grub-editenv devrait vous donner acces au manuel complet. TRADUCTION La traduction francaise de cette page de manuel a ete creee par Jean- Pierre Giraud Cette traduction est une documentation libre ; veuillez vous reporter a la GNU General Public License version 3 concernant les conditions de copie et de distribution. Il n'y a aucune RESPONSABILITE LEGALE. Si vous decouvrez un bogue dans la traduction de cette page de manuel, veuillez envoyer un message a . GRUB 2:2.12-2 Mars 2024 GRUB-EDITENV(1)