Ubuntu ServerにGUIが必要な時、サーバー上ではLubuntu Desktop Minimalを入れてよく使うのですが、デフォルトインストールされているXTerm/UXTermのフォントが小さくて、これまで「apt-get install gnome-terminal」をしてお茶を濁していました。でももっと簡単な方法がありました。
ただ次のように実行するだけです。.Xdefaultsファイルに書くのが良いらしいです。
$ vi .Xdefaults
UXTerm*VT100*font: 7x14 #記述する
XTerm*VT100*font: 7x14 #記述する$ xrdb .Xdefaults
新しくXTerm/UXTermを開くと大きなサイズで表示されます。サイズやフォント指定方法などは次の情報を参考に。
incompleteness-theorems.at.webry.info
ちなみに、このまま再起動すると設定が元に戻ってしまうので、永続化するときは次のように行うと良さそうです。
$ xrdb .Xdefaults && cp ~/.Xdefaults ~/.Xresources
$ vi ~/.xsession
xrdb -merge $HOME/.Xresources #記述$ sudo reboot
