Re: I'm going to work on integrating install-font.sh into groff

[Wim Stockman]

If the font is already installed in the system it is simple the see if it
is R , I , B by consulting it with.
"Fc-list | grep fontname* " of course this is for linux

Kind regards,
Wim Stockman

Op di 20 jul. 2021 21:14 schreef T. Kurt Bond <tkurtbond@gmail.com>:

> Drats.  Forgot to cc the groff mailing list.
>
> ---------- Forwarded message ---------
> From: T. Kurt Bond <tkurtbond@gmail.com>
> Date: Tue, Jul 20, 2021 at 3:13 PM
> Subject: Re: I'm going to work on integrating install-font.sh into groff
> To: Douglas McIlroy <douglas.mcilroy@dartmouth.edu>
>
>
> My earlier post to the list about using install-font.sh did it a disservice
> - as Peter pointed out, most people will find the simple use all they
> need.  It really is as simple as
>
> install-font.sh *fontfile*
>
>
> It figures out the name of the font  and chooses some sensible defaults.
> The only question you have to answer is basically whether this particular
> font file is for the R, I, B, or BI variant of the font, and the other
> questions have sensible defaults.  There is a post
> <
> https://tkurtbond.github.io/posts/2021/07/17/install-fontsh-the-simple-approach/
> >
> on my blog that shows running the script to install all four of the
> variants of the Lora font, with all output and the prompts the script
> asks.  It does produce a lot of output, but the colorizing helps to pick
> out the important things.
>
> On Tue, Jul 20, 2021 at 8:44 AM Douglas McIlroy <
> douglas.mcilroy@dartmouth.edu> wrote:
>
> > Wonderful. It would be great if we could get something whose basic
> > form is something as simple as
> >
> >                   makegrofffont parentfontfile grofffontfile
> >
> > perhaps with an option argument to designate the type of parentfontfile
> > if that can't be determined automatically.
> >
> > Doug
> >
>
>
> --
> T. Kurt Bond, tkurtbond@gmail.com, https://tkurtbond.github.io
>
>
> --
> T. Kurt Bond, tkurtbond@gmail.com, https://tkurtbond.github.io
>