win10再インストールに伴うgrub設定
あまりに使っていないため、Win10 anniversary updateが今頃適用できない!!っていうメッセージが吐き出されました。
(「システムで予約済みのパーティションを更新できませんでした」ってやつです。)
結局インストールメディアを作って再インストールしたのですが、これによりgrubを再設定する必要が出てきました。
昔ならLinuxも再インストールしていましたが、今回初めてMint18はそのままで、grubのみ再設定しました。
https://wiki.ubuntulinux.jp/UbuntuTips/Others/ReinstallGrub2
だいたいマイクロソフトさんが、ここの情報教えてくれれば、Winも再インストールの必要なかったですよね!!ゴラ〜!!
http://www.disk-partition.com/jp/windows-10/couldnt-update-system-reserved-partition.html