GNU/Linux >> Linux の 問題 >  >> Linux

グラブフォントサイズはカスタマイズできますか？

GRUBブートローダーのフォントのサイズを小さくしたいのですが。それは可能ですか、それでどのようにですか？

承認された回答：

@fpmurphyと@hesseの回答に基づいて、またubuntuforumsとFedora Wikiの包括的なスレッドに基づいて調査した結果、GRUB2のフォントサイズを小さくする方法を見つけました。

  1. フォントを選択します。この例では、 DejaVuSansMono.ttfを選択しました。
  2. GRUBが理解できる形式でフォントを変換します：
    sudo grub2-mkfont -s 14 -o /boot/grub2/DejaVuSansMono.pf2 /usr/share/fonts/dejavu/DejaVuSansMono.ttf
  3. / etc / default / grubを編集します 行を追加するファイル：
    GRUB_FONT =/ boot / grub2 / DejaVuSansMono.pf2
  4. GRUB構成を次のように更新します：
    • BIOS： sudo grub2-mkconfig -o /boot/grub2/grub.cfg
    • EFI： sudo grub2-mkconfig -o /boot/efi/EFI/{distro}/grub.cfg＃RHEL8のディストリビューションは{'redhat'}
  5. 再起動します。

GRUBディスプレイの解像度は、フォントのサイズにも影響する可能性があります。解像度などについては、上記のubuntuforumsリンクを参照してください。


Linux

  1. フォントサイズの変更 Ubuntu ターミナル

  2. Ubuntu で端末のフォント サイズを変更する方法

  3. long int のサイズが常に 4 バイトであると想定できますか?

  1. コマンドラインから特定のサイズのファイルを作成するにはどうすればよいですか?

  2. 「,,」を「..」にエイリアスできますか?

  3. ドライブ障害後に起動できるように Linux softRAID10 をセットアップする

  1. コンソールのフォントをプレビューできるツールは?

  2. Linux は超高解像度ディスプレイに対応できますか?

  3. du -h 出力をサイズでソートするにはどうすればよいですか