GRUB-EDITENV

Section: ユーザーコマンド (1)
Updated: 2021/10
Index JM Home 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

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


関連キーワード

grub   環境   変数   ブロック   編集   boot   grubenv   マニュアル   environment   block   ツール   create   list   現時点   unset   ヘルプ   方法   詳細   メッセージ   デフォルト値   delete   全体   バグ   報告   ドキュメント

Linux マニュアル 一覧

関連するコマンド・関数

grub-mkconfig.8   grub-menulst2cfg.1   grub-script-check.1   grub-mkrelpath.1   grub-ofpathname.8   grub-sparc64-setup.8
 

Index

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

This document was created by man2html, using the manual pages.
Time: 04:39:39 GMT, October 11, 2026