GNOME Doで端末を開く際のサイズを変更する
GNOME Do+Terminalプラグインを使用することで任意の場所で端末を開くことが可能だが、必ずデフォルトサイズ(80x24)で開かれてしまう欠点が。(Terminalプラグインにも設定は無し。)
せっかくWUXGAのディスプレイなのでもう少し大きいサイズになるように変更してみた。
手順
1. /usr/binに移動
$cd /usr/bin
2. gnome-terminal(実行ファイル)をgnome-terminal.origに名称変更
$sudo mv gnome-terminal gnome-terminal.orig
3. gnome-terminal(スクリプト)を以下のように作成
- 160x50指定&他に引数が与えられた場合に対応するように
$1${@}を指定しておく - ●○▼などの記号を正常表示できるように、「VTE_CJK_WIDTH=1」、「--disable-factory 」を付け加える
#!/bin/bash VTE_CJK_WIDTH=1 /usr/bin/gnome-terminal.orig --disable-factory --geometry=160x50 ${@}
4. gnome-terminalに実行権限を与える
$sudo chmod +x gnome-terminal
以上で完了。快適快適。