On Thu, Oct 24, 2002 at 11:20:49PM -0400, Michael Fratoni wrote: > On Thursday 24 October 2002 09:42 pm, John P Verel wrote: > > Just tried it and does not seem to work: > > > > I created ~./fonts, copied both files shown above to it, gunzipped > > same. File contents are now: > > > > total 528 > > drwxrwxr-x 2 john john 4096 Oct 24 21:37 . > > drwx------ 111 john john 8192 Oct 24 21:36 .. > > -r--r--r-- 1 john john 25816 Oct 24 21:37 > > 10x20-ISO8859-1.pcf -r--r--r-- 1 john john 494552 Oct 24 > > 21:34 10x20.pcf > > > > When I go to the gnome-terminal General tab, no new fonts show up. > > > > What did I do wrong? > > Shot in the dark, as I haven't tried this (and I don't use Gnome), but did > you run fc-cache? > You might try /usr/bin/fc-cache -fv /path/to/fonts (-f force, -v verbose)
You may need to start a new gnome-terminal with the --disable-factory flag, or equivalently close all of your terminals and restart gnome-terminal. I'm not clear on the specifics of how often (or even if) gnome-terminal checks for the presence of new fonts. Once gnome-terminal finds the font, it will be listed as "Fixed". HTH, Nalin
