In modo che potessi ridimensionare la finestra ad una certa dimensione da Terminal.
Sì. Il terminale supporta sequenze di escape per la manipolazione di finestre, incluse le dimensioni e la posizione, la stratificazione e la riduzione al minimo. Le dimensioni possono essere espresse in pixel o caratteri. Vedi Sequenze di controllo di Xterm per i dettagli (cerca "Manipolazione della finestra"; se non hai familiarità con notazione, "CSI" sta per "Control Sequence Introducer", che è ESC [
).
Ad esempio, questo comando shell imposterà la finestra su caratteri 100x50:
printf '\e[8;50;100t'
Riduci a icona la finestra per alcuni secondi, quindi ripristinala:
printf '\e[2t' && sleep 3 && printf '\e[1t'
Sposta la finestra nell'angolo superiore / sinistro del display:
printf '\e[3;0;0t'
Ingrandisci la finestra:
printf '\e[9;1t'
Porta la finestra in primo piano (senza modificare lo stato attivo della tastiera):
printf '\e[5t'
Alcuni emulatori di terminali ignorano queste sequenze di controllo per impostazione predefinita e richiedono la configurazione per attivarle.
Per abilitarli in XTerm , imposta la seguente risorsa su true:
allowWindowOps
Per abilitarli in iTerm2 , deseleziona la seguente preferenza:
Preferences > Profiles > [profile] > Terminal > Disable session-initiated window resizing
Puoi sempre usare AppleScript:
setwidth() { osascript -e "tell app \"Terminal\" to tell window 1
set b to bounds
set item 3 of b to (item 1 of b) + $1
set bounds to b
end"; }
Utilizza /usr/X11/bin/resize
.
resize -s 30 80
ti darà 30 righe e 80 colonne.
resize -s 30 0
ti darà 30 righe e colonne complete.
resize -s 0 80
ti darà righe complete e 80 colonne.
In realtà lo sai, spostare una finestra di ridimensionamento con un mouse è orribilmente lento.
Ho utilizzato questa app SizeUp da molto tempo ormai. Ridimensiona praticamente qualsiasi finestra dell'applicazione utilizzando il comando da tastiera.
Puoi eseguire le seguenti operazioni (i miei comandi da tastiera personalizzati di seguito):
Penso che questo potrebbe fare il trucco e anche aiutare con la gestione di altre finestre.
Leggi altre domande sui tag terminal