Preguntas etiquetadas con gnome-terminal

GNOME Terminal (a menudo titulado solo "Terminal") es el emulador de terminal predeterminado incluido en Ubuntu.





7
Atajo de escritorio para comando de terminal
Me preguntaba cómo hacer un acceso directo de terminal en el que se pueda hacer clic para mi escritorio usando el comando easytether connect. No quiero tener que abrir / cerrar el terminal cada vez que deseo conectarme a Internet a través de mi teléfono. Intenté actualizar mi gnome-panel pero …

2
¿Guardar terminal actual scrollback al archivo?
He estado buscando una respuesta a esto y no encuentro nada que me haga pensar que no es posible, pero ... ¿Es posible guardar el búfer de desplazamiento hacia atrás del Terminal Gnome actual en un archivo? Sé que puedo hacer algo como command > output.txtredirigir toda la salida a …






5
¿Cómo cambio el espacio entre líneas en la Terminal?
¿Es posible cambiar el espacio entre líneas en la Terminal, o hay alguna otra aplicación que lo permita? Me estoy mudando de Mac, y su aplicación de terminal tiene esta característica que permite cambiar el espacio entre líneas independientemente del tamaño de la fuente. Por ejemplo, aquí está Monaco en …




Al usar nuestro sitio, usted reconoce que ha leído y comprende nuestra Política de Cookies y Política de Privacidad.
Licensed under cc by-sa 3.0 with attribution required.