Writing a de-psfagger

Paulo Ney de Souza pauloney at gmail.com
Thu Jan 23 19:14:57 CET 2020

On the idea of using "file" I am also a bit lost because:

file /usr/local/texlive/2018/texmf-dist/tex/latex/amsfonts/amssymb.sty
/usr/local/texlive/2018/texmf-dist/tex/latex/amsfonts/amssymb.sty: LaTeX
document, ASCII text

file main.tex
main.tex: LaTeX 2e document, ASCII text

One is a system file the other an user file and essentially they have the
same type.

I think that any tool that has a chance of making up the difference HAS to
be a tool with the knowledge of TeX -- so my suggestion for kpsewhich.

Paulo Ney

On Thu, Jan 23, 2020 at 9:54 AM Paulo Ney de Souza <pauloney at gmail.com>

> Yes .... I know it is "quick" but my question is -- Is it "reliable" ? In
> other words, can I assume all full-path files are system files? I am not
> sure I can do that, after all someone could do:
>    \includegraphics{/home/paulo/Graphics/fig1.eps}
> and that will show in the list with full-path ...
> Paulo Ney
> On Thu, Jan 23, 2020 at 9:50 AM Jonathan Fine <jfine2358 at gmail.com> wrote:
>> Hi Paulo
>> For your example, the initial part of the path is already quick and
>> reliable for excluding many files.
>> After that, on Linux, I suggest using the file command.
>> Jonathan
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://tug.org/pipermail/texhax/attachments/20200123/b88d48e5/attachment.html>

More information about the texhax mailing list