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'
を実行してください。
バグ報告は <
[email protected]>
までお願いします。
grub-reboot(8),
grub-set-default(8)
grub-editenv
の完全なドキュメントは
Texinfo
マニュアルとしてメンテナンスされています。
info と
grub-editenv
の両プログラムが適切にインストールされていれば、以下のコマンド
- info grub-editenv
を実行して完全なマニュアルを参照できます。