<div dir="ltr"><div dir="ltr">On Thu, May 6, 2021 at 3:16 PM Norbert Preining <<a href="mailto:norbert@preining.info">norbert@preining.info</a>> wrote:<br></div><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Committed just now to the svn and will be in tlcritical the next days.<br></blockquote><div><br></div><div>Thanks for sorting this out so quickly! </div><div><br></div><div>And on further inspection, I think it should be</div><div><br></div><div>  copy ("-f", "-L", $filetoopen, $dest);</div><div><br></div><div>in case texlive.tlpdb.xz is a symbolic link, which might happen in the experiments I am doing. Maybe not in real life, though.</div><div><br></div><div>At any rate, the symlink issue is easy to work around – just copy the file in place – so it's pretty minor. Sorry for noticing right after you committed "-f"!</div><div><br></div><div>Best,</div><div>Vincenzo</div></div></div>