Provided by: manpages-ja_0.5.0.0.20221215+dfsg-1_all bug

名前

       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

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