2012-11-17 grubデフォルトOS設定 Linux grubで起動するデフォルトのOSを変更するには /boot/grub2/grub.cfgの中の上から10行目付近の set default="0" の数値を変更すればよい。 0オリジンでgrubの表示に現れるOSを指し示す。 上記ファイル(grub.cfg)のmenuentryでOSの一覧の上からの順番に一致する。ただし、このgrub.cfgは自動生成されるので直接触るな、と書かれている。 ので、正式なやり方は違うはず。とりあえず変えたかったらこれでも変わる。