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 [EMAIL PROTECTED] (antes ten�a es_ES) :-? On 02 Nov 2002 16:24:13 +0100 Ruben Porras <[EMAIL PROTECTED]> 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.
