grubデフォルトOS設定

grubで起動するデフォルトのOSを変更するには
/boot/grub2/grub.cfgの中の上から10行目付近の
set default="0"
の数値を変更すればよい。
0オリジンでgrubの表示に現れるOSを指し示す。
上記ファイル(grub.cfg)のmenuentryでOSの一覧の上からの順番に一致する。

ただし、このgrub.cfgは自動生成されるので直接触るな、と書かれている。
ので、正式なやり方は違うはず。とりあえず変えたかったらこれでも変わる。