Curl seems available everywhere (it's in the core package group), while
wget is not. Therefore use curl instead of wget, it will save us from
installing a few packages, i.e. bandwidth and time.
Details
Details
- Reviewers
lbrabec - Commits
- rLTRNbf8390929fed: remote runner: use curl instead of wget
tested manually, works
Diff Detail
Diff Detail
- Repository
- rLTRN libtaskotron
- Lint
Automatic diff as part of commit; lint not applicable. - Unit
Automatic diff as part of commit; unit tests not applicable.