web-dev-qa-db-ja.com

ターミナルのフォントを変更することはできますか？

ターミナルのフォントを変更したいのですが、どうすればこれを実現できますか？

command-linefonts
51
Fawkes5

Bashターミナル：

メニュー、編集 => プロファイル設定 => 一般タブ;チェックを外すシステム固定幅フォントを使用し、必要なフォントを選択します。

一般的なxterm端末では、~/.Xresourcesファイルを作成し、xterm*font: Sublime\ Text\ 2-12などの設定を12ポイント追加する必要があります（これは推測であり、完全に正しいかどうかはわかりません）。

44
Marty Fried

使用しているフォントや参照している端末については言及していませんが、gnome-terminalでフォントを変更する一般的な回答をしています。

私はこれを行うために2つの方法を提供していますが、両方は互いに比較的近いです

正式な方法

  • を押して端末を開きます Ctrl + Alt + T。
  • 次に、メニューから移動します編集→プロファイル。プロファイル編集ウィンドウで、をクリックします Edit ボタン。
  • 次に、一般タブで、システム固定幅フォントを使用のチェックを外し、ドロップダウンメニューから目的のフォントを選択します

より簡単な方法

  • を押して端末を開きます Ctrl + Alt + T。
  • ターミナルを右クリックし、表示されるポップアップメニューからProfiles→Profile Preferencesに移動します
  • 次に、一般タブで、システム固定幅フォントを使用のチェックを外し、ドロップダウンメニューから目的のフォントを選択します。

以下に2つのスクリーンショットを示します。

Image of popup menu

Image of the "Edit" profile window

30
Anwar

GNOMEターミナル3.20.2を使用するUbuntu 17.04では、オプションが少し異なります。メニューから、[編集]-> [プロファイル設定]-> [全般]タブに移動します。 Text Appearance sectionでCustom fontオプションを選択し、選択したフォントをクリックしてから、新しいウィンドウの下部にあるフォントサイズ番号を小さくします。

1
patrickvacek

サーバー端末、つまり、ウィンドウシステムなし、コンソールのみを意味する場合、私は この答え が好きです。

setfont /usr/share/consolefonts/UbuntuMono-R-8x16.psf

これは一例です。次のような利用可能なフォントのリストを見ることができます。

ls /usr/share/consolefonts

何らかの理由でそれらを持っていない場合は、次のようにインストールできます：

Sudo apt-get install fonts-ubuntu-font-family-console

ログインごとに実行する必要がある可能性があるため、.fontまたは.bashrcにsetfontコマンドを配置する必要があることに注意してください。

0
jmarina