Domanda Comando Bash per modificare la dimensione della finestra di bash


C'è qualche comando per cambiare la dimensione della finestra di bash (ad esempio per impostare la dimensione su 150x90)? Non voglio modificare il file .profile.


13
2018-03-09 09:06


origine


risposte:


Alcuni (ma non molti) terminali accettano la sequenza di escape ANSI

\ 033 [8;h;wt

(dove \033 è il carattere di controllo ASCII ESC, e h e w sono altezza e larghezza in decimale).

Ad esempio, in XTerm (dopo permettendo operazioni di finestra attraverso il menu Ctrl-RMB o il allowWindowOps Risorsa X),

$ printf '\033[8;40;100t'

ridimensionerà la finestra a 100x40 caratteri.


19
2018-03-09 09:22



$ resize -s 90 150

consultare il manuale del file per ulteriori opzioni.

$ man resize

5
2018-05-27 04:48



Il comando di ridimensionamento funziona per modificare le dimensioni della finestra, ma potresti provare alcune strane cose se non dici anche al terminale di utilizzare l'intera area. Questo è quello che uso e funziona bene.

#!/bin/bash
resize -s 33 100
stty rows 33
stty cols 100

1
2017-09-19 21:16



Questa è probabilmente una domanda per https://superuser.com/, comunque, come si avvia la finestra del terminale? La maggior parte degli emulatori di terminale hanno argomenti di comando per specificare la dimensione.

Un'altra opzione, se è necessario modificarlo dopo la visualizzazione della finestra wmctrl potrebbe aiutarti.


0
2018-03-09 09:15