gnome-terminal:cliでウィンドウジオメトリを変更する

gnome-terminal:cliでウィンドウジオメトリを変更する

現在のジオメトリを80x24に変更するには、gnome-terminalに何を入力する必要がありますか? GUI設定 - Advanced - 80x24と同じことです。

答え1

xdotool getactivewindow windowsize --usehints 80 24
--usehints
    Use window sizing hints (when available) to set width and height. This is useful
    on terminals for setting the size based on row/column of text rather than pixels.

答え2

gnome-terminal は xterm が使用する制御シーケンスに応答します。resizeこれを行うことができるプログラム:

resize -s 24 80

関連情報