ターミナルのフォントを変更することはできますか？
回答:
Bashターミナル：
メニュー、編集 => プロファイル設定 => 一般タブ。[ システム固定幅フォントを使用する]のチェックを外し、必要なフォントを選択します。
一般的なxterm端末では、ファイルを作成し、12ポイント~/.Xresourcesなどの設定を追加する必要がありますxterm*font: Sublime\ Text\ 2-12（これは推測であり、完全に正しいかどうかはわかりません）。
「システムの固定幅フォントを使用する」チェックボックスをオフにすると、gnome-terminalがクラッシュします。このGUIを使用せずにこの設定を変更またはクリアする方法はありますか？
—
ジョナサンハートリー
Ubuntu 18.04またはUbuntu 18.04には「編集」という名前のメニューはありません。おそらく、Ubuntuの新しいバージョンにも対応するように回答を更新しますか？
—
ピーターモーテンセン
または、少なくとも「For Ubuntu 9〜Ubuntu 16.04：」などのようにマークします（この例ではバージョン範囲を作成しました）。
—
ピーターモーテンセン
使用しているフォントや参照している端末については言及していませんが、gnome-terminalのフォントを変更する一般的な答えを示しています。
私はこれを行うための2つの方法を提供していますが、両方は互いに比較的近いです
正式な方法
- Ctrl+ Alt+ を押して端末を開きTます。
- 次に、メニュー編集 → プロファイルから進みます。プロファイル編集ウィンドウで、Editボタンをクリックします。
- 次に、[ 全般 ]タブで、[ システム固定幅フォントを使用する ]をオフにして、ドロップダウンメニューから目的のフォントを選択します。
より簡単な方法
- Ctrl+ Alt+ を押して端末を開きTます。
- 登場し、ポップアップメニューから端末、上の右クリックは、に行くプロファイル → プロファイルの設定
- 次に、[ 全般]タブで、[システム固定幅フォントを使用する]をオフにして、ドロップダウンメニューから目的のフォントを選択します。
以下に2つのスクリーンショットを示します。
わあ、こんなに簡単だとは知らなかった。ありがとうございました！！！
—
フォークス5
私の知る限り、「プロファイル」はUbuntu 18.04またはUbuntu 18.04の「設定」にあります。おそらく、Ubuntuの新しいバージョンにも対応するように回答を更新しますか？
—
ピーターモーテンセン
GNOMEターミナル3.20.2を使用するUbuntu 17.04では、オプションが少し異なります。メニューから、[編集]-> [プロファイル設定]-> [全般]タブに移動します。でText Appearance section、Custom fontオプションを選択し、選択したフォントをクリックしてから、新しいウィンドウの下部にあるフォントサイズ番号を小さくします。
はい、暗いテーマと低輝度を使用しているため、チェックボックスはほとんど見え
—
ません-qwr
あなたがサーバー端末、つまり、ウィンドウシステムがなく、コンソールだけを意味する場合、私はこの答えが好きです：
setfont /usr/share/consolefonts/UbuntuMono-R-8x16.psf
これは一例です。次のような利用可能なフォントのリストを見ることができます。
ls /usr/share/consolefonts
何らかの理由でそれらを持っていない場合は、次のようにインストールできます：
sudo apt-get install fonts-ubuntu-font-family-console
ログインするたびに実行する必要があるため、.fontまたは.bashrcにsetfontコマンドを配置する必要がある場合があることに注意してください。