GRUB-EDITENV(1) | Brukerkommandoer | GRUB-EDITENV(1) |
grub-editenv - edit GRUB environment block
grub-editenv [VALG...] FILNAVN KOMMANDO
Verktøy for å redigere miljøblokk.
If FILENAME is `-', the default value /boot/grub/grubenv is used.
Det finnes ingen «delete»-kommando. Bruk «rm /boot/grub/grubenv» hvis du vil slette hele miljøblokka.
Rapporter feil til <bug-grub@gnu.org>.
grub-reboot(8), grub-set-default(8)
Den fullstendige dokumentasjonen for grub-editenv opprettholdes som en Texinfo manual. Dersom info og grub-editenv programmene er riktig installert på ditt sted burde kommandoen
gi deg tilgang til hele manualen.
Den norske oversettelsen av denne manualsiden er laget av
Denne oversettelsen er gratis dokumentasjon; se GNU General Public License versjon 3 eller senere for opphavsrettsvilkår. Vi påtar oss INGEN ANSVAR.
Hvis du finner feil i oversettelsen av denne håndboksiden, vennligst send en e-post til <TODO>.
Februar 2023 | GRUB 2.06-8 |