Index
Mintty などの端末ソフトの画面サイズをコマンドラインから設定する方法はないかと試してみた。"XTerm Control Sequences" に XTerm で使えるエスケープシーケンスが載っているので、それを参考に、
$ echo -ne "\e[8;40;80t"
とすると、40行 80桁に変更できた。