wget/wget1 apparently has issues, so that distros are switching to wget2 and alias it to wget
, which is a breaking change here.
Fix all issues by just using curl
, which should work everywhere.
Also, while touching the line, allow for a few retries to happen, to avoid having to re-run the whole script in a loop on flaky internet.