From ed862647fb1e7cf7a9bc6eddb9a58b7b0e3463c4 Mon Sep 17 00:00:00 2001 From: Samir Patil Date: Mon, 18 Aug 2025 17:11:27 +0000 Subject: [PATCH] Update devcontainer configuration and Dockerfile for platform compatibility; enhance .gitignore to include devpod files. --- .devcontainer.json | 5 ++++- .gitignore | 5 ++++- Dockerfile | 2 +- 3 files changed, 9 insertions(+), 3 deletions(-) diff --git a/.devcontainer.json b/.devcontainer.json index cc051c52c..e2c55778b 100644 --- a/.devcontainer.json +++ b/.devcontainer.json @@ -2,7 +2,10 @@ "name": "devtools", "shutdownAction": "none", "build": { - "dockerfile": "Dockerfile" + "dockerfile": "Dockerfile", + "args": { + "platform": "linux/amd64" + } }, "updateRemoteUserUID": false, "overrideCommand": false, diff --git a/.gitignore b/.gitignore index 260eddd44..c9aae528c 100644 --- a/.gitignore +++ b/.gitignore @@ -60,4 +60,7 @@ build **vm_uptime_stdout** **vm_patch_stdout** **vm_mem_stdout** -**vm_disk_stdout** \ No newline at end of file +**vm_disk_stdout** + +# devpod files +.devpod* \ No newline at end of file diff --git a/Dockerfile b/Dockerfile index 44b6500e1..44ceb029f 100644 --- a/Dockerfile +++ b/Dockerfile @@ -1,4 +1,4 @@ -FROM us-docker.pkg.dev/runwhen-nonprod-shared/public-images/codecollection-devtools:latest +FROM --platform=linux/amd64 us-docker.pkg.dev/runwhen-nonprod-shared/public-images/codecollection-devtools:latest USER root ENV RUNWHEN_HOME=/home/runwhen