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.