¿Cómo puedo forzar que los terminales tengan al menos un cierto tamaño?

8

Me gustaría evitar que cualquiera de mis terminales Terminator sea más pequeño que 80x24. Es decir, se me impediría cambiar el tamaño de un terminal por debajo de ese tamaño, y si intentara dividir un terminal que sería demasiado pequeño, los terminales existentes se reducirían para adaptarse o los terminales padre e hijo se moverían a Una nueva ventana.

Estoy dispuesto a cambiar los programas de terminal si es necesario, aunque es preferible una buena solución de mosaico como Terminator.

Nicholas
fuente

Respuestas:

4

Para lograr lo que desea, deberá editar el código fuente gnome-terminaly reconstruirlo usted mismo, ya que el tamaño mínimo de la ventana está codificado en la aplicación del terminal. Para hacer esto, siga estos pasos.

Primero, vaya a https://launchpad.net/ubuntu/+source/gnome-terminal/3.6.1-0ubuntu4 y descargue los archivos de origen (el archivo es gnome-terminal_3.6.1.orig.tar.xz). Descargue esto a su ~/Downloadscarpeta.

Luego, abra una terminal y escriba los siguientes comandos:

cd ~/Downloads

tar -xJf gnome-terminal_3.6.1.orig.tar.xz

Esto extraerá la fuente. Ahora, abra su editor de texto favorito y edite el archivo ~/Downloads/gnome-terminal-3.6.1/src/terminal-window.c. Navegue a la línea 3107, donde encontrará las variables MIN_WIDTH_CHARSy MIN_HEIGHT_CHARS. Edítelos, estos son el alto y ancho mínimo de su ventana de terminal expresados ​​en caracteres (es decir, un valor MIN_WIDTH_CHARSde 20 significa que ya no puede cambiar el tamaño del ancho de la ventana a menos de 20 anchos de caracteres)

Luego, para construir, en un tipo de terminal cd ~/Downloads/gnome-terminal-3.6.1. Luego, ejecute ./configurepara generar el archivo MAKE (si se queja de paquetes faltantes, instálelos usando apt-get(por ejemplo, si dice "paquete foono encontrado" o similar, use sudo apt-get install foo). También puede intentar instalar auto-apty usar sudo auto-apt run ./configure(esto intentará instalar todas las dependencias ), pero cuando probé esto, no captó todo (ejecutar estándar ./configuredespués) Esto puede tomar algunos intentos, dependiendo de cuántos paquetes faltan.

Una vez que ha generado los archivos MAKE simplemente escriba make, seguido de sudo make install. Esto debería reconstruir el programa terminal. Cierre todas las ventanas de terminal, y luego la próxima que inicie respetará el tamaño mínimo establecido en la fuente (es decir, no cambiará de tamaño por debajo de los valores que definió allí).

Jez W
fuente
Un método aún más completo sería hacer exactamente lo que usted ha indicado, pero ir al paso adicional del usuario creando su propio PPA para construir un .deb que pueda mantener y / o bloquear para no causar problemas al actualizar el resto del sistema. De esta manera, el administrador de paquetes todavía está administrando paquetes, pero el usuario mantiene el control sobre el único en su PPA sin comprometer la funcionalidad prevista del administrador de paquetes. Mencionar tanto (creo) solidificaría el suyo como la respuesta "ir a".
darthlukan
@darthlukan Punto interesante. En realidad no había pensado en esto (quizás debería haberlo hecho antes de pasar por esto yo mismo para probarlo) y, de hecho, no estoy seguro de cómo hacer eso / aplicar las actualizaciones de los paquetes mientras mantengo sus cambios intactos ... También Acabo de notar que la pregunta se refiere específicamente a Terminator, mientras que esta solución es para gnome-terminal, así que ...
Jez W
Independientemente de si es gnome-terminal o Terminator (en realidad, Terminator muestra múltiples gnome-terminales y gnome-terminal es una dependencia de terminator), su solución sigue siendo correcta. El usuario puede hacer lo mismo en Terminator, solo tendrá que prestar atención a los nombres de variables que pueden ser diferentes y diferentes, pero los pasos son los mismos (contenido principal). Cuando crea un paquete .deb personalizado y adjunta su PPA a Apt, su paquete se anulará siempre que bloquee la versión.
darthlukan
4
  1. Presione la tecla súper para abrir la lente de búsqueda y busque: menú principal
  2. Una vez que se esté ejecutando la aplicación " Menú principal ", seleccione " Accesorios " en el menú de la izquierda y luego seleccione " Terminal " en el segundo menú.
  3. Una vez que haya seleccionado las opciones de " Terminal ", presione el botón " Propiedades " a la derecha. Se abrirá una nueva ventana con las propiedades del Iniciador de terminal.
  4. Vaya a la entrada " Comando " y agregue esto al final de la entrada:

    --geometry=132x24
    

    La entrada terminada debe ser:

    gnome-terminal --geometry=132x24
    

Eso es. Cierre las ventanas y la próxima vez que inicie el terminal, la ventana cambiará de tamaño. Puede que tenga que cerrar sesión y volver a iniciarla para que funcione correctamente.

(132x24 es solo un ejemplo, puede usar la resolución que desee)

cristiano
fuente
2
Esto solo afecta a la geometría inicial, no evita que el terminal se redimensione por debajo del tamaño dado.
Nicholas
2

Bueno, hasta donde sé, no puedes, la resolución de una ventana de Terminal se basa en las proporciones de los caracteres ... Entonces, si cambias el tamaño de la fuente, la ventana de Terminal cambiará de tamaño para ajustarse a la proporción de esa fuente ...

Parece un poco tonto al principio, pero dado que un terminal simplemente muestra solo caracteres de texto, tiene sentido, si una ventana tiene un tamaño de píxeles, a menudo terminaría con un espacio perdido cuando el tamaño de la ventana no es exactamente coincidir con un límite de caracteres ...

cristiano
fuente
es completamente peor que estúpido y no se sabe por qué lo hizo el programador. destructor de la cabeza enrevesada
Carni
1

Si está en una versión anterior de Ubuntu, en el clic derecho -> ventana de propiedades, la primera pestaña tiene dos campos en los que puede editar las filas y columnas del terminal.

De lo contrario, puede usar la entrada de comando mencionada en la respuesta uno.

--geometry=132x24
cosaco
fuente
Esto también solo afecta a la geometría inicial.
Nicholas
1

El pequeño truco sobre el tamaño predeterminado fue el tema aquí . Allí, el vizconde del usuario lo resolvió creando un script y colocándolo en / usr / bin / gnome-terminal de esta manera (supongo que usa gnome como administrador de ventanas):

#!/bin/sh
gnome-terminal --geometry=132x24

También puede hacer clic con el botón derecho en el icono gnome-terminal en su barra de tareas, seleccionar propiedades y luego cambiar el comando a un comando diferente como:

gnome-terminal --working-directory=%f --geometry=132x24

De esta manera tiene su propio tamaño predeterminado definido.

dschinn1001
fuente