2007-12-14 update-grub のカーネルオプション設定 Debian カーネル更新後は、update-grub コマンドで設定を更新するが、いつもカーネルオプションが元に戻ってしまい毎回直していた。本当はデフォルトのカーネルオプションが指定できることが分かった。/boot/grub/menu.lst にて、 # kopt=root=/dev/hda1 ro「コメントアウトの状態のまま」で書き換えると良い。今までは、コメントアウトを外していたので効かなかった・・・。