回答:
ブートパラメータをカーネルに一時的に追加するには:
linux
、パラメータfoo=bar
を最後に追加します。
この変更を永続的にするには:
端末から(またはAlt+ を押した後F2)実行します:
gksudo gedit /etc/default/grub
(または使用しsudo nano
ている場合gksudo
やgedit
使用できません)とパスワードを入力します。
で始まる行を見つけて、末尾にGRUB_CMDLINE_LINUX_DEFAULT
追加foo=bar
します。例えば:
GRUB_CMDLINE_LINUX_DEFAULT="quiet splash foo=bar"
ファイルを保存し、エディターを閉じます。
最後に、ターミナルを起動して実行します:
sudo update-grub
GRUBの構成ファイルを更新するには(おそらくパスワードを入力する必要があります)。
次回の再起動時に、ブートパラメータを使用してカーネルを起動する必要があります。永久に削除するには、単にパラメータを削除してから再GRUB_CMDLINE_LINUX_DEFAULT
実行sudo update-grub
します。
変更を確認するには、を実行して、カーネルが起動したパラメーターを正確に確認できますcat /proc/cmdline
。
Wikiページ:
gksudo
Ubuntuにはもうありません。pkexec
代わりに使用してください。
または、便利なgrub-customizerを使用することもできます。
sudo add-apt-repository ppa:danielrichter2007/grub-customizer
sudo apt-get update
sudo apt-get install grub-customizer
gksu grub-customizer &
ブートエントリを開き、以下のスクリーンショットで強調表示されているようにカーネルパラメータを編集します。
cat /proc/cmdline