Re: gnome-terminal murió
On Mon, 2002-11-04 at 22:26, Alejandro Pinazo wrote:
> Hola:
>
> On 03 Nov 2002 23:31:06 +0100
> Rodrigo Moya <rodrigo@gnome-db.org> 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
Reply to: