GRUB-EDITENV
Table des matières
Retour à l'index
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 à
Index
- NOM
-
- SYNOPSIS
-
- DESCRIPTION
-
- SIGNALER DES BOGUES
-
- VOIR AUSSI
-
- TRADUCTION
-
This document was created by
man2html,
using the manual pages.
Time: 05:05:55 GMT, September 19, 2025