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

info grub-editenv

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


 

Index

名前
書式
説明
バグ報告
関連項目

This document was created by man2html, using the manual pages.
Time: 16:46:40 GMT, November 24, 2023