Tag terminal - Userlinux.net

Se me ha metido en la cabeza la fuente Fixed y hasta que conseguí ponerla en Gnome-Terminal no he parado, tampoco es que sea demasiado complicado pero bueno, para la posteridad. Lo primero que haremos será editar el archivo ~/.fonts.conf:

<?xml version="1.0"?>
	<!DOCTYPE fontconfig SYSTEM "fonts.dtd">
	<fontconfig>
	<selectfont>
	<acceptfont>
	<pattern>
	<patelt name="family">
	<string>fixed</string>
	</patelt>
	</pattern>
	</acceptfont>
	</selectfont>
	</fontconfig>

Luego actualizamos la caché y reiniciamos Gnome:

# sudo fc-cache -fv
# /etc/init.d/gdm restart

Y ya debería aparecernos dicha fuente en el selector del terminal. La seleccionamos, aceptamos y a ota cosa mariposa.

ACTUALIZACIÓN: La solución para 10.04 es muy similar.

Probando el nuevo Gnome Terminal 2.24.1 -que viene por defecto en Intrepid Ibex he encontrado una pequeña diferencia con respecto a versiones anteriores: no se puede cambiar la configuración de hotkeys para el cambio de pestañas.

Normalmente viene como Alt+1, Alt+2... para cambiar a la pestaña 1, 2... respectivamente, no me gusta esa configuración y es uno de los primeros cambios que aplico a Gnome Terminal.

Una solución pasa por esperar a la actualización del paquete en el repositorio y aplicarla cuando esté disponible, ya hay algún que otro reporte de éste bug.

Vía menéame me entero que pancake ha creado un portal de videos (youtube liked) para subir streams de terminal. La idea es tan curiosa como interesante, puesto que podría abrirse un buen camino de aprendizaje a partir de aquí.

Ya he hecho mi pequeña aportación a modo de bienvenida. No es complicado el uso de script para grabar pulsaciones y tiempos, aquí se explica con detalle...

Don't forget to feed the comunity, ;)