GRUB-EDITENV(1) | Dienstprogramme für Benutzer | GRUB-EDITENV(1) |
grub-editenv - GRUB-Umgebungsblock bearbeiten
grub-editenv [OPTION …] DATEINAME BEFEHL
Werkzeug zum Bearbeiten des Umgebungsblocks.
Falls »-« als DATEINAME angegeben wird, dann wird der Vorgabewert /boot/grub/grubenv verwendet.
Es gibt keinen »delete«-Befehl; falls Sie die gesamte Umgebung löschen wollen, verwenden Sie »rm /boot/grub/grubenv«.
Melden Sie Fehler (auf Englisch) an bug-grub@gnu.org.
grub-reboot(8), grub-set-default(8)
Die vollständige Dokumentation für grub-editenv wird als ein Texinfo-Handbuch gepflegt. Wenn die Programme info(1) und grub-editenv auf Ihrem Rechner ordnungsgemäß installiert sind, können Sie mit dem Befehl
auf das vollständige Handbuch zugreifen.
Die deutsche Übersetzung dieser Handbuchseite wurde von Mario Blättermann <mario.blaettermann@gmail.com> erstellt.
Diese Übersetzung ist Freie Dokumentation; lesen Sie die GNU General Public License Version 3 oder neuer bezüglich der Copyright-Bedingungen. Es wird KEINE HAFTUNG übernommen.
Wenn Sie Fehler in der Übersetzung dieser Handbuchseite finden, schicken Sie bitte eine E-Mail an die Mailingliste der Übersetzer.
November 2023 | GRUB 2.12~rc1-12 |