☰

コマンドによるシェルフォントの変更

tag-icon • tag-icon bash debian terminal xfce fonts
コマンドによるシェルフォントの変更

私はNethackをたくさんプレイしていますが、私の端末が一般的に使用するよりも大きなフォントを好む人は私だけではありません。私は通常の端末（vimまたはその他）には12を使用し、Nethackには16+を使用する傾向があります。通常、私はデフォルト設定でフォントを変更しますが、このプロセスを自動化したいと思います。フォントサイズを変更し、単一のコマンドでnethackを起動できるスクリプトやエイリアスなどを作成したいと思います。できますか？

編集する：

オペレーティングシステム: Debian DE: Xfce シェル: Bash

ベストアンサー1

これは使用する端末エミュレータによって異なります。

たとえば、xfce4-terminalはその設定をおよび${XDG_CONFIG_DIRS}/xfce4/terminal/terminalrcに保存します${XDG_CONFIG_DIRS}/xfce4/terminal/accels.scm。また、新しいインスタンスの起動時に-x/--executeおよび/オプションを使用して-e特定のコマンドを実行することもできます--command。これらの機能により、目的のタスクを自動化する関数/スクリプトを簡単に作成できます。

例:

run-nano() {
  sed -Ei 's/^(FontName=Noto Mono )9$/\112/g' <config-file>
  nano
  sed -Ei 's/^(FontName=Noto Mono )12$/\19/g' <config-file>
}

はい

おすすめ記事