GRUB-EDITENV(1) Commandes de l'utilisateur GRUB-EDITENV(1)

grub-editenv – Éditer un bloc environnement de GRUB

grub-editenv [OPTION...] FICHIER COMMANDE

Outil pour modifier un bloc environnement.

Commandes :
Créer un fichier de bloc environnement vide.
Lister les variables actuelles.
Définir des variables
Supprimer des variables
Options :
-?, --help
Afficher l’aide-mémoire.
Afficher un court message pour l’utilisation.
Afficher des messages détaillés.
Afficher la version du programme.

Si 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 toute erreur à <bug-grub@gnu.org>.

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.

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.

Juillet 2023 GRUB 2:2.12rc1-1