GRUB-EDITENV(1) | ユーザーコマンド | GRUB-EDITENV(1) |
grub-editenv - GRUB 環境ブロックの編集
grub-editenv [OPTION...] FILENAME COMMAND
環境ブロック (environment block) を編集するツールです。
FILENAME が `-' である場合、 デフォルト値として /boot/grub/grubenv が用いられます。
`delete' コマンドはありません。 環境変数全体を削除したい場合は、 `rm /boot/grub/grubenv' を実行してください。
バグ報告は <bug-grub@gnu.org> までお願いします。
grub-reboot(8), grub-set-default(8)
grub-editenv の完全なドキュメントは Texinfo マニュアルとしてメンテナンスされています。info と grub-editenv の両プログラムが適切にインストールされていれば、以下のコマンド
を実行して完全なマニュアルを参照できます。
2021/10 | GRUB 2.06 |