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 <d...@gnu.org> wrote: > > > There is \epsfile, and you can use a2ping for turning a jpeg file into > an eps file. >