<div dir="auto"><div><div class="gmail_quote gmail_quote_container"><div dir="ltr" class="gmail_attr">On Sun, Jan 4, 2026, 8:39 PM B. Watson <<a href="mailto:urchlay@slackware.uk">urchlay@slackware.uk</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><br>
<br>
On Mon, 5 Jan 2026, Willy Sudiarto Raharjo wrote:<br>
<br>
> Yes, that's true, but in this case (tome-ah), the script expect a<br>
> different name, according to their hard-coded version, so David need to<br>
> change the proper github source URL into tome-ah's expected name<br>
<br>
Can't he just mv (rename) the files?<br></blockquote></div></div><div dir="auto"><br></div><div dir="auto">That would be the better option so it works regardless of whether the file was downloaded with or without content-disposition. </div><div dir="auto"><br></div><div dir="auto">It would definitely be easier to have the source files downloaded as the correct name every time by using the "proper" github url and then move the always-named-the-same file to where the build system expects it and name it accordingly. </div><div dir="auto"><div class="gmail_quote gmail_quote_container"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
</blockquote></div></div></div>