remote runner: use curl instead of wget
ClosedPublic

Authored by kparal on Aug 28 2015, 12:07 PM.

Details

Summary

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.

Test Plan

tested manually, works

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.
kparal retitled this revision from to remote runner: use curl instead of wget.Aug 28 2015, 12:07 PM
kparal updated this object.
kparal edited the test plan for this revision. (Show Details)
kparal added a reviewer: lbrabec.
This revision is now accepted and ready to land.Aug 28 2015, 12:23 PM
This revision was automatically updated to reflect the committed changes.