ProgramUbuntuUbuntuの便利なアプリ > grub-customizer

grub-customizerとは?

GNU GRUB(Linuxのブートローダー)の設定を編集するGUIツール。

公式サイト

GNU GRUBとは?

リファレンス / チュートリアル

インストール方法

Tips

このファイルを見てみたら、以下の内容が書かれていた。

# If you change this file, run 'update-grub' afterwards to update
# /boot/grub/grub.cfg.
# For full documentation of the options in this file, see:
#   info -f grub -n 'Simple configuration'

GRUB_DEFAULT=0
GRUB_TIMEOUT_STYLE=hidden
GRUB_TIMEOUT=10
GRUB_DISTRIBUTOR=`lsb_release -i -s 2> /dev/null || echo Debian`
GRUB_CMDLINE_LINUX_DEFAULT="quiet splash"
GRUB_CMDLINE_LINUX=""

# Uncomment to enable BadRAM filtering, modify to suit your needs
# This works with Linux (no patch required) and with any kernel that obtains
# the memory map information from GRUB (GNU Mach, kernel of FreeBSD ...)
#GRUB_BADRAM="0x01234567,0xfefefefe,0x89abcdef,0xefefefef"

# Uncomment to disable graphical terminal (grub-pc only)
#GRUB_TERMINAL=console

# The resolution used on graphical terminal
# note that you can use only modes which your graphic card supports via VBE
# you can see them in real GRUB with the command `vbeinfo'
#GRUB_GFXMODE=640x480

# Uncomment if you don't want GRUB to pass "root=UUID=xxx" parameter to Linux
#GRUB_DISABLE_LINUX_UUID=true

# Uncomment to disable generation of recovery mode menu entries
#GRUB_DISABLE_RECOVERY="true"

# Uncomment to get a beep at grub start
#GRUB_INIT_TUNE="480 440 1"

この中の「GRUB_DEFAULT=0」という設定値を書き換えたら、一番最初に選ばれるOSを変えることができる。
手動ではなく、GUIツールで書き換えたい。

OSの起動順の編集

  1. 「grub-customizer」を起動して、「一般設定」のタブを開く。
  2. 「デフォルトのエントリー」で優先的に起動させたいOS(Windows10など)を選ぶ。
  3. 「保存」ボタンをクリックする。
  4. 「$ sudo vim /etc/default/grub」コマンドでGRUBの設定ファイルを目視確認してみる。
    1. 「GRUB_DEFAULT=0」の部分がWindows10などに変わっていればOK。

grub-customizer.png

参考書

#html{{

!--

td> </td>

hr>

  • >
    }}

添付ファイル: filegrub-customizer.png 415件 [詳細]

トップ   編集 凍結 差分 履歴 添付 複製 名前変更 リロード   新規 一覧 検索 最終更新   ヘルプ   最終更新のRSS
Last-modified: 2019-12-09 (月) 00:06:32