Re: using a traditional font with gnome-terminal
On 2005-04-21 19:58:11 +0200, Jochen Schulz wrote:
> * Edmund GRIMLEY EVANS:
> > Can anyone please tell me how to use
> >
> > -misc-fixed-medium-r-semicondensed--13-120-75-75-c-60-iso10646-1
> >
> > with gnome-terminal? None of the fonts offered by the fancy font menu
> > have anything like the readability or the coverage of that 6x13 font,
> > which seems to be the default for xterm.
I asked something similar in the debian-user-french, but got no answer
on this particular question.
> You have to run 'dpkg-reconfigure fontconfig' (as root, obviously)
> and answer 'Yes' to the question about bitmapped fonts. Restart
> gnome-terminal and fixed[misc] should be an option.
Not here. I just get "Fixed", but this is not the correct font.
> (Answer to unasked question: I prefer jmk-neep from the package
> xfonts-jmk)
But according to the package description, there are just some
ISO-8859-* encodings, not ISO-10646-1.
--
Vincent Lefèvre <vincent@vinc17.org> - Web: <http://www.vinc17.org/>
100% accessible validated (X)HTML - Blog: <http://www.vinc17.org/blog/>
Work: CR INRIA - computer arithmetic / SPACES project at LORIA
Reply to: