症状 症状としては，アップデート後にgrubのOS選択画面が表示されなくなる． grubはGRUB_TIMEOUT によってタイムアウトが設定されているのだが，そもそもOSが一つしかない場合はgrub自体の画面が表示されない． 今回は，どうやらgrubがデュアルブートしてい…