GRUB-EDITENV(1) | Opdrachten voor gebruikers | GRUB-EDITENV(1) |
grub-editenv - GRUB-omgevingsblok bewerken
grub-editenv [OPTIE...] BESTANDSNAAM OPDRACHT
Gereedschap om omgevingsblok mee te bewerken.
Als BESTANDSNAAM '-' is, wordt de standaardwaarde /boot/grub/grubenv gebruikt.
Er is geen 'delete'-opdracht; als u het gehele omgevingsblok wilt verwijderen, gebruik dan 'rm /boot/grub/grubenv'.
Rapporteer bugs aan <bug-grub@gnu.org>.
grub-reboot(8), grub-set-default(8)
De volledige documentatie voor grub-editenv wordt bijgehouden als een Texinfo-handleiding. Als de programma´s info en grub-editenv correct op uw systeem zijn geïnstalleerd, geeft de opdracht
toegang tot de volledige handleiding.
De Nederlandse vertaling van deze handleiding is geschreven door Mario Blättermann <mario.blaettermann@gmail.com> en Luc Castermans <luc.castermans@gmail.com>
Deze vertaling is vrije documentatie; lees de GNU General Public License Version 3 of later over de Copyright-voorwaarden. Er is geen AANSPRAKELIJKHEID.
Indien U fouten in de vertaling van deze handleiding zou vinden, stuur een e-mail naar debian-l10n-dutch@lists.debian.org.
November 2023 | GRUB 2.12~rc1-12 |