-
Notifications
You must be signed in to change notification settings - Fork 943
chore(examples): update devcontainer-docker template #14199
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Changes from 1 commit
e40dd7a
3f37703
b74e984
1ea88ab
08c04ea
40e4e12
File filter
Filter by extension
Conversations
Jump to
Diff view
Diff view
- Loading branch information
There are no files selected for viewing
Original file line number | Diff line number | Diff line change |
---|---|---|
|
@@ -7,11 +7,15 @@ terraform { | |
docker = { | ||
source = "kreuzwerker/docker" | ||
} | ||
envbuilder = { | ||
source = "coder/envbuilder" | ||
} | ||
} | ||
} | ||
|
||
provider "coder" {} | ||
provider "docker" {} | ||
provider "envbuilder" {} | ||
data "coder_provisioner" "me" {} | ||
data "coder_workspace" "me" {} | ||
data "coder_workspace_owner" "me" {} | ||
|
@@ -145,9 +149,18 @@ resource "docker_volume" "workspaces" { | |
} | ||
} | ||
|
||
# Check for the presence of a prebuilt image in the cache repo | ||
# that we can use instead. | ||
resource "envbuilder_cached_image" "cached" { | ||
count = data.coder_workspace.me.start_count | ||
builder_image = local.devcontainer_builder_image | ||
git_url = local.repo_url | ||
cache_repo = var.cache_repo | ||
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. Should we make these optional and let them be provided via extra env too? Would simplify a bit and a user knows they can just cram everything in extra. Right now for url is given here and in extra, what if the values differ? What's the behavior? (IMO maybe it's an error). There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. Alternatively, we could validate at runtime that There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. I agree, that’s what I had in mind, but in a more roundabout way 😅. I think it would help with avoiding mistakes, and remove ambiguity. |
||
} | ||
|
||
resource "docker_container" "workspace" { | ||
count = data.coder_workspace.me.start_count | ||
image = local.devcontainer_builder_image | ||
image = envbuilder_cached_image.cached.0.image | ||
# Uses lower() to avoid Docker restriction on container names. | ||
name = "coder-${data.coder_workspace_owner.me.name}-${lower(data.coder_workspace.me.name)}" | ||
# Hostname makes the shell more user friendly: coder@my-workspace:~$ | ||
|
@@ -161,7 +174,10 @@ resource "docker_container" "workspace" { | |
"ENVBUILDER_FALLBACK_IMAGE=${data.coder_parameter.fallback_image.value}", | ||
"ENVBUILDER_CACHE_REPO=${var.cache_repo}", | ||
"ENVBUILDER_DOCKER_CONFIG_BASE64=${try(data.local_sensitive_file.cache_repo_dockerconfigjson[0].content_base64, "")}", | ||
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. Should this also be passed to There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. oop, forgot about the env 👍 There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. OK, I took a stab at this -- unfortunately there's a bug in the provider that mangles the init script. I can remove the FIXME after this is done though. |
||
"ENVBUILDER_PUSH_IMAGE=${var.cache_repo != "" ? "true" : ""}", | ||
#"ENVBUILDER_INSECURE=true", # Uncomment if testing with a local registry. | ||
] | ||
# network_mode = "host" # Uncomment if testing with a local registry. | ||
host { | ||
host = "host.docker.internal" | ||
ip = "host-gateway" | ||
|
Uh oh!
There was an error while loading. Please reload this page.