Moving dev container to a custom-built image. (#65)

kevinswiber · Sep 16, 2023 · f280540 · f280540
1 parent 3b6899f
commit f280540
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 2 deletions.
diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
@@ -1,5 +1,5 @@
 {
  "name": "postman2openapi",
- "dockerFile": "Dockerfile",
- "postCreateCommand": "rustc --version && echo \"node $(node --version)\" && just --version",
+ "image": "ghcr.io/kevinswiber/postman2openapi-devcontainer",
+ "postCreateCommand": "rustc --version && echo \"node $(node --version)\" && just --version"
 }
diff --git a/justfile b/justfile
@@ -17,6 +17,14 @@ build-web:
  npm run build --prefix ./web
 build-nodejs:
  wasm-pack build --release --out-dir ./nodejs --target nodejs
+build-devcontainer-image:
+ NEEDS_BUILDER=$(docker buildx ls | grep -q postman2openapi; echo $?); \
+ if [[ "$NEEDS_BUILDER" = "1" ]]; then docker buildx create --name postman2openapi --bootstrap --use; \
+ else docker buildx use postman2openapi; fi && \
+ docker buildx build --platform linux/amd64,linux/arm64 --push -f ./.devcontainer/Dockerfile -t ghcr.io/kevinswiber/postman2openapi-devcontainer:latest .
+
+push-devcontainer-image:
+ docker push ghcr.io/kevinswiber/postman2openapi-devcontainer:latest
 
 fmt-check:
  cargo fmt --check --all