tweak Dockerfile so image is buildable with podman (#907)

This adds a docker.io registry name, the lack of which will otherwise
cause image building to fail if podman is used rather than docker.
Common images like node are automatically aliased and don't need
the registry name. Based on a problem reported in discord.

https://discord.com/channels/1176642613022044301/1214877650108026881
pull/910/head
Paul Fitzpatrick 2 months ago committed by GitHub
parent 4d016510a8
commit 5607f41a91
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

@ -60,7 +60,7 @@ RUN \
# Fetch gvisor-based sandbox. Note, to enable it to run within default # Fetch gvisor-based sandbox. Note, to enable it to run within default
# unprivileged docker, layers of protection that require privilege have # unprivileged docker, layers of protection that require privilege have
# been stripped away, see https://github.com/google/gvisor/issues/4371 # been stripped away, see https://github.com/google/gvisor/issues/4371
FROM gristlabs/gvisor-unprivileged:buster as sandbox FROM docker.io/gristlabs/gvisor-unprivileged:buster as sandbox
################################################################################ ################################################################################
## Run-time stage ## Run-time stage

Loading…
Cancel
Save