This repository has been archived on 2024-04-08. You can view files and clone it, but cannot push or open issues or pull requests.
dagger/europa-universe/docker/pull.cue
Solomon Hykes 458d04819d Europa: docker: split in smaller files
Signed-off-by: Solomon Hykes <solomon@dagger.io>
2022-01-07 09:13:54 -08:00

38 lines
636 B
CUE

// Build, ship and run Docker containers in Dagger
package docker
import (
"dagger.io/dagger/engine"
"dagger.io/dagger"
)
// Download an image from a remote registry
#Pull: {
// Source ref.
source: #Ref
// Registry authentication
// Key must be registry address, for example "index.docker.io"
auth: [registry=string]: {
username: string
secret: dagger.#Secret
}
_op: engine.#Pull & {
"source": source
"auth": [ for target, creds in auth {
"target": target
creds
}]
}
// Downloaded image
image: #Image & {
rootfs: _op.output
config: _op.config
}
// FIXME: compat with Build API
output: image
}