<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">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>