grub-editenv(1) の使い方

概要

GRUB環境変数を編集するコマンドプログラム。

マニュアルページ

• Ubuntu Manpage: grub-editenv - edit GRUB environment block

使い方

# grub-editenv list | grep saved_entry
saved_entry=Linux Mint 14 MATE 32-bit, 3.5.0-17-generic (/dev/sdb1

関連ブログ記事

• GRUB2 - 最後に起動したOSをデフォルトとして記憶する

以上