GRUB-EDITENV
Section: ユーザーコマンド (1)
Updated: 2021/10
Index
JM Home Page
roff page
名前
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
を実行して完全なマニュアルを参照できます。
Index
- 名前
-
- 書式
-
- 説明
-
- バグ報告
-
- 関連項目
-
This document was created by
man2html,
using the manual pages.
Time: 03:33:24 GMT, December 05, 2022