Sé que hay opciones para iniciar una nueva terminal con un título específico, y que es posible cambiar el título de una terminal usando el menú: 'Terminal' -> Establecer título. Sin embargo, quiero cambiarlo por un terminal actual desde la línea de comandos. ¿Cómo puedo cambiar el título de un...
gnome-terminal usa colores brillantes para fuentes en negrita. ¿Es posible configurarlo para usar el mismo color para las fuentes en negrita que para las fuentes normales? Además, necesito colores brillantes en otro lugar, por lo que cambiar la paleta de colores probablemente no...
Puedo usar métodos abreviados de teclado y seleccionar texto con el botón izquierdo del mouse me permite insertar la selección dentro de gnome-terminal con el botón central del mouse. Sin embargo, la selección del mouse con el botón izquierdo no lo copia al portapapeles y, por lo tanto, no está...
Estoy ejecutando Cygwin en Windows XP. Me resulta bastante útil, aparte de que se ejecuta en el símbolo del sistema predeterminado de Windows. ¿Hay alguna alternativa a esto? Por ejemplo, ¿hay un terminal que sea como gnome-terminal ? Me gustaría algo que me permita hacer doble clic, arrastrar el...
¿Cómo puedo cambiar automáticamente el color de fondo / primer plano de mi terminal en función del host en el que utilizo SSH? Mi configuración actual es un escritorio de Ubuntu que ejecuta Gnome-Terminal que SSH en un conjunto de hosts RHEL5. Tengo un archivo de configuración SSH que uso para...
Tengo un problema con mi renderizado de fuentes en Linux Mint 17.1 Rebecca con Kernel 3.17.1. El espacio para las fuentes monoespaciales es realmente incorrecto, algunas letras están en negrita y fuera de lugar. En algunos lugares, la fuente aparece en cursiva y no sé por qué. Simplemente se ve...
Dentro de un gnomo-terminal pestaña, puedo invocar el "Nueva Terminal en Nueva pestaña" mando shift+ctrl+t y agregará una pestaña a la ventana actual de gnome-terminal. ¿Cómo puede hacerse esto programáticamente? He intentado varias soluciones mencionadas aquí sin éxito. Por ejemplo, exec...
He estado jugando con Gnome Terminal recientemente, tratando de personalizar lo que sucede cuando presiono Ctrl-C (me gustaría copiarlo cuando tengo texto seleccionado y enviar SIGINT de lo contrario, pero eso no es parte de la pregunta), pero Parece que no puedo entender en qué parte de la pila se...
¿Hay un administrador de sesiones para sesiones de bash de múltiples pestañas, similar a la forma en que Google Chrome administra las sesiones de navegación web? Lo que estoy buscando es la capacidad de almacenar y restaurar las pestañas del shell (actualmente estoy usando GNOME como mi terminal)...
¿Qué combinación de teclas utilizo para enlazar ctrl+ inserten mi zshrc? Intenté ingresar al modo de inserción entre comillas ( ctrl+ V) pero al presionar ctrl+ insertno sale
Estoy usando CentOS 7 en Virtualbox en Mac y me sorprende ver que no hay opción de aumentar el espacio entre líneas en el Terminal GNOME para aumentar la legibilidad. Puedo hacerlo fácilmente en Mac pero no puedo hacerlo en CentOS 7. ¿Alguna idea de cómo puedo hacerlo o alguna alternativa? Hay una...