気づいたらBootメニューが出なくなってた。
まあ多分アプデの影響だろうとは思うのですが、デュアルブートしてるのでWindows起動できないのは困る。
とりあえず対処法を探しました。
最初、grub-installすれば良いのかな?と思ったのですが、同現象を対処した方の記事を読むと違うようだったので参考記事に倣いました。
まずは/etc/default/grubの編集。普段Gedit使うけど今回はGeanyで。Viは苦手…。
$ sudo geany /etc/default/grub
7行目と8行目を変更。
GRUB_TIMEOUT_STYLE=hidden
GRUB_TIMEOUT=0
↓
GRUB_TIMEOUT_STYLE=menu
GRUB_TIMEOUT=10
hidden(隠す)からmenu(メニュー表示)に、0秒から10秒待機に編集が済んだらアプデして再起動確認。
$ sudo update-grub
$ sudo os-prober
$ reboot
念の為「os-prober」もやってから再起動したら、無事にメニュー出現。
良かったー。これでWindowsも起動できます!