Provided by: manpages-fr_4.27.0-1_all 

NOM
grub-editenv – Éditer un bloc environnement de GRUB
SYNOPSIS
grub-editenv [OPTION...] FICHIER COMMANDE
DESCRIPTION
Outil pour modifier un bloc environnement.
Commandes :
create Créer un fichier de bloc environnement vide.
list Lister les variables actuelles.
set [NOM=VALEUR ...]
Définir des variables
unset [NOM ...]
Supprimer des variables
Options :
-?, --help
Afficher l’aide-mémoire.
--usage
Afficher un court message pour l’utilisation.
-v, --verbose
Afficher des messages détaillés.
-V, --version
Afficher la version du programme.
Si NOM_FICHIER vaut « - », la valeur par défaut /boot/grub/grubenv est utilisée.
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 à <bug-grub@gnu.org>.
VOIR AUSSI
grub-reboot(8), grub-set-default(8)
La documentation complète de grub-editenv est disponible dans un manuel Texinfo. Si les programmes info
et grub-editenv sont correctement installés, la commande
info grub-editenv
devrait vous donner accès au manuel complet.
TRADUCTION
La traduction française de cette page de manuel a été créée par Jean-Pierre Giraud <jean-
pierregiraud@neuf.fr>
Cette traduction est une documentation libre ; veuillez vous reporter à la GNU General Public License
version 3 concernant les conditions de copie et de distribution. Il n'y a aucune RESPONSABILITÉ LÉGALE.
Si vous découvrez un bogue dans la traduction de cette page de manuel, veuillez envoyer un message à
debian-l10n-french@lists.debian.org.
GRUB 2.12-7 Mars 2025 GRUB-EDITENV(1)