Re: gnome-terminal murió (solucionado)
Hola:
Efectivamente el fichero que buscaba era $HOME/.gnome/Terminal. Lo borré y el gnome-terminal ha vuelto a la vida ;-) Sin embargo, ahora tengo el problema de que sólo funciona con la fuente que carga por defecto y ésta es muy "enana". Si le pongo otra, cuando lo vuelvo a abrir muere :-( Seguiré probando a ver qué tal.
Me temo que esto ocurre desde que instalé fuentes transcode y puse LANG=es_ES@euro (antes tenía es_ES) :-?
On 02 Nov 2002 16:24:13 +0100
Ruben Porras <nahoo82@telefonica.net> wrote:
> El sáb, 02-11-2002 a las 16:01, Alejandro Pinazo escribió:
>
> > He probado varias veces a desinstalar/instalar el paquete gnome-terminal
> > pero sigo teniendo el mismo fallo.
>
> Un usuario normal no puede dañar un paquete. Lo unico que puede hacer es
> personalizarlo, pero todas estas opciones se guardan en tu directorio
> home.
>
> > Cuando cargo GNOME con otro usuario
> > me funciona perfectamente por lo que sospecho que desde algún lado sigue
> > leyendo el fichero de configuración antiguo (y eso que purgué el
> > paquete).
>
> Cuando se usa la opción --purge, se borran las configuraciones que
> residen en /etc, pero no se borran las preferencias de los usuarios. Con
> esto no ganas nada.
>
> > ¿Alguién conoce dónde reside ese fichero?.
>
> Quizá este: ~/.gnome/Terminal
> Si no sabes como arreglarlo, simplemente quitalo de enmedio.
Gracias y un saludo.
Reply to: