CI: unify `wget` and `curl`

[AkihiroSuda]

wget: https://github.com/search?q=repo%3Aopencontainers%2Frunc%20wget&type=code (5 files)

curl: https://github.com/search?q=repo%3Aopencontainers%2Frunc%20curl&type=code (8 files)

We should choose either wget or curl.
Probably curl is more popular these days.

[himsngh]

Hi @AkihiroSuda, I would like to do this change :)

[eschmechel]

Hi. I'd be interested in taking this on if no progress has been made yet. There is an important caveat that currently inside DockerFile wget is called prior to curl being installed so we would need to explicitly install curl prior.

Wget Line:

runc/Dockerfile

Line 11 in edbed61

wget -nv $CRIU_REPO/Release.key -O- | gpg --dearmor > "$KEYFILE" \

Curl Line:

runc/Dockerfile

Line 23 in edbed61

curl \

[eschmechel]

Hi. I'd be interested in taking this on if no progress has been made yet. There is an important caveat that currently inside DockerFile wget is called prior to curl being installed so we would need to explicitly install curl prior.

Wget Line:

runc/Dockerfile

Line 11 in edbed61

wget -nv $CRIU_REPO/Release.key -O- | gpg --dearmor > "$KEYFILE" \

Curl Line:
runc/Dockerfile

Line 23 in edbed61

curl \

However this would require apt update/install/cleanup in the same run else, potential stale cache behaviour could occur, adding small overhead