On Mon, 2002-11-04 at 22:26, Alejandro Pinazo wrote: > Hola: > > On 03 Nov 2002 23:31:06 +0100 > Rodrigo Moya <[EMAIL PROTECTED]> wrote: > > > ¿no estás usando GNOME 2? Si no lo estás usando, entonces tendrás que > > modificar a mano ~/.gnome/Terminal. Como ya te han dicho en otro mail, > > si no puedes solucionarlo, simplemente borra el fichero, ya que se > > volverá a crear la próxima vez que uses el gnome-terminal. > > > > saludos > > Efectivamente uso GNOME 1.4. De todas formas ya he probado lo de > modificar el archivo "$HOME/.gnome/Terminal" e incluso de borrarlo pero > "gnome-terminal" me sigue cargando con una fuente enanísima. Éste es el > archivo de configuración que me crea: > > [Placement] > Dock=Menubar\\0,0,0,0 > > [Config] > font=-*-fixed-medium-r-normal--14-*-*-*-*-*-*-*,*-r-* > cambia el 14 por otro tamaño más grande, a ver si eso funciona.
> > Por cierto, Rodrigo, tus correos siempre llegan duplicados a la lista :-? > si, porque uso Reply To All al contestar. Hay por ahí muchos sitios donde explican porqué hacer esto (la razón principal es que la persona a la que contesto puede que no esté en la lista), así que no las voy a explicar :-) saludos
