Am Montag, 20. September 2021, 21:39:49 CEST schrieb Keith Marshall:
> On 20/09/2021 19:22, Dave Kemper wrote:
> > Hi Heinz-Jürgen,
> >
> > Thanks for debugging and submitting a fix for this problem!
>
> Except that it's not really the most appropriate solution; that was
> proposed four years ag
Am Dienstag, 21. September 2021, 13:51:12 CEST schrieb Heinz-Jürgen Oertel:
> Am Montag, 20. September 2021, 21:39:49 CEST schrieb Keith Marshall:
> > On 20/09/2021 19:22, Dave Kemper wrote:
> > > Hi Heinz-Jürgen,
> > >
> > > Thanks for debugging and submitting a fix for this problem!
> >
> > Exc
> grep: (standard input): binary file matches
> you see, the \0 chars are already there.
> What can I do?
Is there a reason you need grep in there?
You can work around the issue by removing the grep completely
and do the filtering with sed: add the "-n" (no default output)
command-line option w
Am Dienstag, 21. September 2021, 15:23:40 CEST schrieb Tadziu Hoffmann:
> Is there a reason you need grep in there?
>
> You can work around the issue by removing the grep completely
> and do the filtering with sed: add the "-n" (no default output)
> command-line option when calling sed, and the "p
Am Dienstag, 21. September 2021, 15:23:40 CEST schrieb Tadziu Hoffmann:
> sed -ne 's/.../.../p'
This works indeed:
pdfinfo Selz.pdf | sed -ne 's/Page *size: *\([[:digit:].]*\) *x
*\([[:digit:].]*\).*$/.nr pdf-wid (p;\1)\n.nr pdf-ht (p;\2)/p'
.nr pdf-wid (p;938.152)
.nr pdf-ht (p;674.93)
Hei
On 21/09/2021 13:34, Heinz-Jürgen Oertel wrote:
I did some more research. The result, it's not "pdfinfo" it is
Imagemagick "convert". I mostly use jpg file converted to pdf by
"convert".
Since your graphic originates as JPG, is there any particular reason why
you cannot convert to EPS, and use
