2023-03-23 08:56:26 Turns out the ghostscript fonts are Type1 fonts, so the font metrics are in a separate 'font metrics' file and really easy to read 2023-03-23 08:57:07 So TTF support can be a stretch goal and can focus on the core PDF fonts for now: Times, Courier, Helvetica, Symbol 2023-03-23 08:57:34 I only need metrics to calcualte where the lines of text go, and how they fit 2023-03-23 08:57:47 I don't need the actual glyphs or anything, that's for the PDF reader / printer 2023-03-23 08:58:16 This is for a forth-based textual word processor 2023-03-23 08:59:00 Adobe used to provide font metrics themselves but I can't find the links to those anymore, ghostscript fonts seem easier to distribute 2023-03-23 09:07:45 One small annoyance of bash scripting is the fact that it doesn't make it very straightforward to print arbitrary controlled white space. You "can," of course, using printf or something, but simple "echo" seems to chope >1 spaces down to 1, no matter what I do. 2023-03-23 09:09:30 Well, hmmm. 2023-03-23 09:09:41 Now in a simple test I ran from the console, it seems to work fine. 2023-03-23 09:09:50 But in a script I wrote the other day I wasn't getting it to work. 2023-03-23 09:10:23 Weird. I'll have to go and look at what I was doing then and see how it's different from what I just did. 2023-03-23 13:33:25 KipIngram: sounds like argument expansion etc is occurring 2023-03-23 13:33:36 echo leaves one space between arguments, regardless of how many spaces you gave 2023-03-23 13:34:12 You should be able to use quotes to specify exact spaces (i.e. making the space part of the argument, rather than implicit space between arguments) 2023-03-23 13:34:19 But I'm assuming you knew that already? 2023-03-23 13:34:46 echo(1) ain't really portable, POSIX likes printf(1) 2023-03-23 13:34:56 printf is much safer 2023-03-23 13:35:11 echo has all kinds of sharp edges 2023-03-23 17:55:49 echo just has the virtue of being more known to me. :-)