特定の幅と高さにウィンドウを即座にサイズ変更する

何らかの理由で、画面サイズの4〜5倍の非常に大きなサイズにウィンドウのサイズを変更したいです。今のところ、私は手動でウィンドウ全体を移動しますが、1つのコーナーを画面から外し、コーナーを引いてウィンドウを拡大します。ただし、これには非常に時間がかかります。ウィンドウを特定の高さと幅に即座にサイズ変更する方法はありますか？（おそらくコマンドラインから、またはいくつかの小さなアプリなどの助けを借りて）

私は2つの解決策を提案します

wmctrl

wmctrlパッケージをインストールすると、ウィンドウのサイズを変更できます

wmctrl -r string -e 0,left,up,width,height

where stringは、ウィンドウのタイトルのサブストリングで、(left,up)左上のウィンドウのコーナーの目的の画面座標であり(width,height)、目的のウィンドウのサイズです。

より正確なウィンドウの選択を行うには、を実行しますwmctrl -l。これにより、ウィンドウのID、画面の番号、ウィンドウのタイトルを含むレコードのリストが表示されます。次に、IDで特定のウィンドウのサイズを変更できます

wmctrl -i -r ID -e 0,left,up,width,hight

詳細については、wmctrlmanページをご覧ください。

デビルズピー

パッケージをインストールし、コンテンツを含むフォルダーとこのフォルダーにファイルをdevilspie作成します。~/.devilspiemy-name.ds

(if (is (window_name) "My Window") (geometry "widthxheight+left+up"))

その後、実行devilspieしてウィンドウのサイズを変更します。