Para poder cambiar el tamaño de la ventana a un cierto tamaño desde dentro de la Terminal.
Para poder cambiar el tamaño de la ventana a un cierto tamaño desde dentro de la Terminal.
Sí. El terminal admite secuencias de escape para manipular ventanas, incluido el tamaño y la posición, la disposición en capas y la minimización. Las dimensiones se pueden expresar en píxeles o caracteres. Consulte Secuencias de control de Xterm para obtener más información (busque "Manipulación de ventanas"; si no está familiarizado con la notación, "CSI" significa "Control Sequence Introducer", que es ESC [
).
Por ejemplo, este comando de shell establecerá la ventana en 100x50 caracteres:
printf '\e[8;50;100t'
Minimice la ventana durante unos segundos, luego restáurelo:
printf '\e[2t' && sleep 3 && printf '\e[1t'
Mueva la ventana a la esquina superior / izquierda de la pantalla:
printf '\e[3;0;0t'
Ampliar la ventana:
printf '\e[9;1t'
Lleve la ventana al frente (sin cambiar el enfoque del teclado):
printf '\e[5t'
Algunos emuladores de terminal ignoran estas secuencias de control de forma predeterminada y requieren configuración para habilitarlas.
Para habilitarlos en XTerm , establezca el siguiente recurso en verdadero:
permitirWindowOps
Para habilitar estos en iTerm2 , anule la selección de la siguiente preferencia:
Preferencias > Perfiles > [perfil] > Terminal > Deshabilitar el tamaño de la ventana iniciada por la sesión
Siempre puedes usar 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"; }
Use /usr/X11/bin/resize
.
resize -s 30 80
te dará 30 filas y 80 columnas.
resize -s 30 0
te dará 30 filas y columnas completas.
resize -s 0 80
te dará filas completas y 80 columnas.
En realidad, sabes, mover una ventana de cambio de tamaño con un mouse es terriblemente lento.
He estado usando esta aplicación SizeUp desde hace mucho tiempo. Básicamente, cambia el tamaño de cualquier ventana de la aplicación usando el comando del teclado.
Puedes hacer lo siguiente (mis comandos de teclado personalizados a continuación):
Creo que esto podría hacer el truco y también ayudar con otra administración de ventanas.
Lea otras preguntas en las etiquetas terminal