groff
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Small error in install-font from Peter Schaffter


From: Wim Stockman
Subject: Re: Small error in install-font from Peter Schaffter
Date: Mon, 12 Dec 2022 09:48:34 +0100

Hi Peter,
Here is the updated script to set the internalname in an interactive way.
Kind regards,
Wim Stockman

Op ma 12 dec. 2022 om 09:18 schreef Wim Stockman <wim.stockman@gmail.com>:

> Hi Peter,
> I'm the one who sent you the patched version.
> Thanks for your remark.
> Probably the only thing to do about it is let the user choose the
> internalname with an interactive question like you already do for the
> fontname ?
> I'll change the script to give it a try.
>
> Kind regards,
> Wim Stockman
>

Attachment: install-font.sh
Description: application/shellscript


reply via email to

[Prev in Thread] Current Thread [Next in Thread]