> On Jun 8, 2018, at 6:12 PM, Richard L. Hamilton <[email protected]> wrote: > > X11 fonts are found in directories in the font path. That presumably has > some initial hardcoded default, but is subsequently set by use of the xset > command, e.g. > xset fp+ /Library/Fonts > > xset q > xset fp+ path > will add to the end of it > > The fonts.scale file is usually created with the mkfontscale command;
> then fonts.dir is created with the mkfontdir command Thanks. Your summary turned out to be very useful. > All those commands (xset, mkfontdir, mkfontscale, and xfs (the font server)) > have man pages. Yep; once you know what to ask about. “man -k font” doesn’t mention any of those, and web searches seemed to point me at linux-specific documentation (and the fc-* commands.) > There are multiple versions of xterm, and different compilation options > (xterm also has a man page). I'm not going to even attempt to describe how > to configure it Aside from not knowing the correct magic apps, my problem seems to have been related in oddness with xterm and emacs, neither of which seems to like the standard X resources for specifying font names. Using xterm*faceName and modifying my .emacs eventually gave me what I wanted; I just started out assuming that more generic procedures would work. (They were both particularly annoying in that specifying “-font” on the command line would work, but having Font resources would not.). (actually, I’m not convinced that everything is “right”, but it’s better.) Naturally, when you install XQuartz, you get a bunch of pre-compiled and relatively anonymous versions of things like xterm. I was hoping to avoid massive customization. (OTOH, that philosophy has led to … me not knowing as much about X11 (or unix) as perhaps I should.) Is there a preferred package manager that installs X11-aware software? Home-brew seems to be proudly declaring their declining support... Thanks Bill W
_______________________________________________ Do not post admin requests to the list. They will be ignored. X11-users mailing list ([email protected]) Help/Unsubscribe/Update your Subscription: https://lists.apple.com/mailman/options/x11-users/archive%40mail-archive.com This email sent to [email protected]
