2012-10-09 Ubuntu端末のウィンドウサイズ・拡大・縮小を保存する。 端末を開くたびに字が小さいのはかなわん! どうにも端末のGUIからそういう設定ができなくて、しょうがなく/usr/binにスクリプトを置いた。 保存するっていうか…。 #!/bin/sh gnome-terminal --geometry=80x46 --zoom=1.5