Preguntas etiquetadas con gnome-terminal

24
¿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 un archivo,...

24
¿Cómo copiar y pegar un archivo?

Quiero copiar y pegar un archivo. El nombre del archivo es mkoctfile.m. La ruta de este archivo es: /usr/share/octave/3.2.4/m/miscellaneous/mkoctfile.m Quiero pegarlo en la siguiente ruta /usr/bin/mkoctfile-3.2.4 He hecho el directorio usando los siguientes comandos: sudo su mkdir -p...

22
¿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á...

21
Gnome-Terminal informa que $ TERM es `xterm`

En una instalación limpia de Ubuntu 12.10, el terminal predeterminado de gnome informa que $ TERM es xterm donde realmente debería informar xterm-256color. ¿Cuál es la mejor manera de cambiar esto? Estoy evitando poner esto en mi .bashrc ya que eso solo es pedir