システム上のファイルを変更せずにGRUB_CMDLINE_LINUX_DEFAULT
にオプションを追加したい。理由は、ドライバーパッケージをインストールして適用したいのですが、現在、/etc/default/grub
または/etc/grub/10_linux
に触れることなく、それを行う方法が見つかりませんでした。 10_linux
の前に実行する必要がある以下のスクリプトで追加しようとしましたが、効果はありません。
$ cat /etc/grub.d/09_linux_vmalloc
#!/bin/sh
set -e
export GRUB_CMDLINE_LINUX_DEFAULT="$GRUB_CMDLINE_LINUX_DEFAULT vmalloc=256MB"
新しいgrubパッケージは、/etc/default/grub.d/に独自の変更を加えたファイルを追加するようになりました。私の場合、次の方法でパッケージでgrubを変更できました。
thopiekar@t91:~$ cat /etc/default/grub.d/emgd.cfg
GRUB_CMDLINE_LINUX_DEFAULT="$GRUB_CMDLINE_LINUX_DEFAULT vmalloc=256MB selinux=0 vga=current"
とにかくありがとうございました:)