Thanks for the hint, but one of the big nuisance-things about Mac OS X Catalina is that these kind of utilities (a2ping) are just gone, are broken or are converted to gui (manual) applications without a command-line substitute..... And
one has to stumble on the problem...., at least I didn't find a possibilitiy to install a ton of utilities covering these kind of things....
Regards,
Wim.
> On 7 Jul 2020, at 20:30 , David Kastrup <dak@gnu.org> wrote:
>
>
> There is \epsfile, and you can use a2ping for turning a jpeg file into
> an eps file.
>