bash script: don't assume nodeup filename #7448
We were previously assuming that the name of the URL matched the name we wanted to download to, but also assuming that the name of the file was nodeup. Change to download to a known file location, whatever the mirror url.
[APPROVALNOTIFIER] This PR is APPROVED
The full list of commands accepted by this bot can be found here.
The pull request process is described here
Needs approval from an approver in each of these files:
Approvers can indicate their approval by writing