先ほどのエントリで出てきたように、カーネルに引数を与えたいうケースはちょこちょこあるわけです。だからといって、/etc/grub.d/10_linuxを書き換えるというのはかなり悪影響が出る(今後のアップグレードで差し替えられかねない)のでどうしたものかと少し心配したのですが、なんてことはありませんでした。ファイル /etc/default/grubを確認してみましょう。あ、例によってDebian向けです。
先ほどのエントリで出てきたように、カーネルに引数を与えたいうケースはちょこちょこあるわけです。だからといって、/etc/grub.d/10_linuxを書き換えるというのはかなり悪影響が出る(今後のアップグレードで差し替えられかねない)のでどうしたものかと少し心配したのですが、なんてことはありませんでした。ファイル /etc/default/grubを確認してみましょう。あ、例によってDebian向けです。