トップ 最新

ただのにっき

2000-05-30(火) [長年日記]

gnome-terminal

はにびさんから、スケスケにできるターミナルはEtermだけじゃないと教えていただいた。まだまだ知らないことが多いのぅ(泣)。その名もgnome-terminal。GNOMEとマッチングがよさげだし、GUIでいろいろ設定ができるから、楽ちんでいいかも知れぬ。たぶんセッション管理もしてくれるから、Startupで指定しなくても復活してくれそうだし。

だがしかーし。Etermみたいに透け具合が調節できない。Shadeするチェックボックスがあるけど、暗さが個人的に足らない。さらに、Etermが1MBくらいなのに対してgnome-terminalは3MB以上食ってるし。根が貧乏性だから、3倍もメモリを食うターミナルはちょっと……。というわけで、もうしばらくEtermを使うことにする。でも、フォントの設定が楽なのはよかったなぁ、gnome-terminal。Etermでもちょっと勉強して、小さめのフォントを使えるようにしてみるか。

gnome-term

蛇足だが、gnome-termというプログラムもある。これはGNOME標準ターミナルを切り替えるためのラッパーである(嘘かも知れないが見た目はそう動いている。実はgnome-editへのsymlinkだが)。Control CenterのDefault Programで指定したターミナルを、同じメニューから起動するのに使われているもの。最初、gnome-terminalを実行しようとしてgnome-termの方を実行し、Etermしか起動しなくて焦ったのは秘密だ(笑)。