Re: Cambiar fuentes en GNOME

[Amaya <barbwired@bigfoot.com>]

Raúl Miró dijo:
> Mira yo me volví loco también con el tamaño de las fuentes y un día de
> casualidad quité el paquete de las fonts 100dpi y POR FIN pude tener un
> escritorio y un Netscape maravillosos... mira a ver si tienes la misma
> suerte...

Yo creo que con cambiar de orden el listado de las fuentes en el
/etc/X11/XF86Config, funcionaría. Hay que dejarlo con esta pinta más o menos:

Section "Files"

 RgbPath     "/usr/X11R6/lib/X11/rgb"
 FontPath   "/usr/X11R6/lib/X11/fonts/local/"
 FontPath   "/usr/X11R6/lib/X11/fonts/misc/"
 FontPath   "/usr/X11R6/lib/X11/fonts/75dpi/:unscaled"
 FontPath   "/usr/X11R6/lib/X11/fonts/100dpi/:unscaled"
 FontPath   "/usr/X11R6/lib/X11/fonts/Type1/"
 FontPath   "/usr/X11R6/lib/X11/fonts/Speedo/"
 FontPath   "/usr/X11R6/lib/X11/fonts/75dpi/"
 FontPath   "/usr/X11R6/lib/X11/fonts/100dpi/"

EndSection

O sea, se ponen las pequeñas antes que la grandes.

Suerte!

-- 
      The easiest way to get the root password is to become system admin.

 Barbwired (The Translatrix)  -  U. Complutense de Madrid  -  Filología Inglesa
                 Web personal  http://www.bigfoot.com/~barbwired/            
      Proudly running Debian GNU/Linux 2.2 (Kernel 2.2.16) on a Dell Laptop