CUI(character user interface) ベースで作業する場合、ターミナルソフト(gnome-terminal とかね)のフォント設定は視認性＝生産性に直結する話なので、延々フォント設定であーでもないこーでもないと時間を潰すのは、決して現実逃避ではないのだ。多分、きっ…