08/06/22 11:19:46 fNswDUBN
>>870
menu.lstの内容を管理してくれるツールがある
それが(debianの)update-grubスクリプト
新しいカーネルインストールしたら追加してくれるし
使わないのを削除したらたぶんメニューからも消える
そのためにupdate-grub管理下の範囲にはマーカーが付いている
そんだけの話
UUIDは 直接/dev/sda1とか指定すると何かと順番が狂ったりすることあるから
確実に識別できるユニークなID指定してるだけ
08/06/22 11:19:46 fNswDUBN
>>870
menu.lstの内容を管理してくれるツールがある
それが(debianの)update-grubスクリプト
新しいカーネルインストールしたら追加してくれるし
使わないのを削除したらたぶんメニューからも消える
そのためにupdate-grub管理下の範囲にはマーカーが付いている
そんだけの話
UUIDは 直接/dev/sda1とか指定すると何かと順番が狂ったりすることあるから
確実に識別できるユニークなID指定してるだけ