Provided by: manpages-ja_0.5.0.0.20221215+dfsg-1_all
名前
grub-editenv - GRUB 環境ブロックの編集
書式
grub-editenv [OPTION...] FILENAME COMMAND
説明
環境ブロック (environment block) を編集するツールです。 コマンド create 空の環境ブロックファイルを生成します。 list 現時点での変数を一覧表示します。 set [NAME=VALUE ...] 変数を設定します。 unset [NAME ...] 変数を削除します。 オプション -?, --help ヘルプ一覧を表示します。 --usage 簡単な使用方法を表示します。 -v, --verbose 詳細メッセージ表示を行います。 -V, --version プログラムバージョンを表示します。 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 の両プログラムが適切にインストールされていれば、以下のコマンド info grub-editenv を実行して完全なマニュアルを参照できます。