Ändern Sie die Größe von Fenstern sofort auf eine bestimmte Breite und Höhe

Aus irgendeinem Grund möchte ich ein Fenster auf eine sehr große Größe bringen, die vier- bis fünfmal größer ist als meine Bildschirmgröße. Im Moment mache ich es manuell, indem ich das gesamte Fenster bis auf eine Ecke aus dem Bildschirm verschiebe und dann an der Ecke ziehe, um das Fenster zu vergrößern. Dies ist jedoch sehr zeitaufwendig. Gibt es eine Möglichkeit, das Fenster sofort auf eine bestimmte Höhe und Breite zu skalieren? (vielleicht von der Kommandozeile oder mit Hilfe einer kleinen App oder etwas anderem)

Ich schlage zwei Lösungen vor

wmctrl

Installieren Sie das wmctrlPaket, dann können Sie die Größe Ihres Fensters mit ändern

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

Dabei stringhandelt es sich um eine Teilzeichenfolge des Fenstertitels, (left,up)die gewünschten Bildschirmkoordinaten der linken oberen Fensterecke und (width,height)die gewünschten Fenstermaße.

Um eine genauere Fensterauswahl zu erhalten, führen Sie wmctrl -lden Befehl aus, der eine Liste der Datensätze enthält, die die Fenster-ID, die Bildschirmnummer und den Fenstertitel enthalten. Dann können Sie mit die Größe eines bestimmten Fensters nach ID ändern

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

Weitere Informationen in der wmctrlManpage.

Devilspie

Installieren Sie das Paket devilspieund erstellen Sie den Ordner ~/.devilspieund eine Datei my-name.dsin diesem Ordner mit folgendem Inhalt:

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

devilspieFühren Sie dann aus, um die Größe Ihres Fensters zu ändern.