Re: -dec-terminal fonts

[Siard <shiems146@kpnplanet.nl>]

Harry Putnam wrote:
> I have these fonts as displayed by xlsfonts
> 
> xlsfonts|grep dec
> [...]
> -dec-terminal-bold-r-normal--0-0-75-75-c-0-dec-dectech
> -dec-terminal-bold-r-normal--0-0-75-75-c-0-iso8859-1
> 
> [...]
>
> But I want to know where the ones listed in xlsfonts come from.  Not
> finding anything on aptitude search that looks likely.  But may under
> a name not including `dec'.

$ grep -r dec-terminal /usr/share/fonts/*
/usr/share/fonts/X11/75dpi/fonts.dir:tech14.pcf.gz -dec-terminal-medium-r-normal--14-140-75-75-c-80-dec-dectech
/usr/share/fonts/X11/75dpi/fonts.dir:techB14.pcf.gz -dec-terminal-bold-r-normal--14-140-75-75-c-80-dec-dectech
/usr/share/fonts/X11/75dpi/fonts.dir:term14.pcf.gz -dec-terminal-medium-r-normal--14-140-75-75-c-80-iso8859-1
/usr/share/fonts/X11/75dpi/fonts.dir:termB14.pcf.gz -dec-terminal-bold-r-normal--14-140-75-75-c-80-iso8859-1

So, tech14.pcf.gz etc. are the fonts you're looking for.