名前

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 マニュアルとしてメンテナンスされています。infogrub-editenv の両プログラムが適切にインストールされていれば、以下のコマンド

info grub-editenv

を実行して完全なマニュアルを参照できます。