「Linux」マシンで起動カーネルを選択--「systemd-boot」の設定変更

　「systemd」を使用する「Linux」サーバーおよびデスクトップを起動するとき、起動プロセスが従来の方法と若干異なるが、このことに気づかないユーザーもいるかもしれない。しかし、カーネルの問題に遭遇した場合は、何かが変わったことが明白になる。

　以前だと、利用可能なカーネルが複数あるマシンを使用している場合、GRUBメニューにアクセスして、起動するカーネルを選択することが可能だった。このオプションがデフォルトで設定されていない場合は、/etc/default/grubファイルに変更を施して、アクセス権を取得することができた。この設定のオプションは、以下の通りだ。

GRUB_HIDDEN_TIMEOUT=