<div dir="ltr"><div>On the idea of using "file" I am also a bit lost because:</div><div><br></div><div>file /usr/local/texlive/2018/texmf-dist/tex/latex/amsfonts/amssymb.sty<br></div><div>/usr/local/texlive/2018/texmf-dist/tex/latex/amsfonts/amssymb.sty: LaTeX document, ASCII text</div><div><br></div><div>file main.tex</div><div>main.tex: LaTeX 2e document, ASCII text</div><div><br></div><div>One is a system file the other an user file and essentially they have the same type.</div><div><br></div><div>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.</div><div><br></div><div>Paulo Ney<br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, Jan 23, 2020 at 9:54 AM Paulo Ney de Souza <<a href="mailto:pauloney@gmail.com">pauloney@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div>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:</div><div><br></div><div>   \includegraphics{/home/paulo/Graphics/fig1.eps}</div><div><br></div><div>and that will show in the list with full-path ...</div><div><br></div><div>Paulo Ney<br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, Jan 23, 2020 at 9:50 AM Jonathan Fine <<a href="mailto:jfine2358@gmail.com" target="_blank">jfine2358@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div>Hi Paulo</div><div><br></div><div dir="ltr">For your example, the initial part of the path is already quick and reliable for excluding many files.</div><div dir="ltr"><br></div><div dir="ltr">After that, on Linux, I suggest using the file command.<br><div><br></div><div>Jonathan</div></div></div>
</blockquote></div>
</blockquote></div>