From 48c1ea0ce9aef1cd375a2a4a7be0519cc58aabda Mon Sep 17 00:00:00 2001 From: DH Date: Mon, 18 Nov 2024 00:36:29 +0000 Subject: [PATCH] dev container: explicitly specify required platform --- .devcontainer/Dockerfile | 2 +- .devcontainer/devcontainer.json | 4 +++- 2 files changed, 4 insertions(+), 2 deletions(-) diff --git a/.devcontainer/Dockerfile b/.devcontainer/Dockerfile index c357ce17d..f35cff5f9 100644 --- a/.devcontainer/Dockerfile +++ b/.devcontainer/Dockerfile @@ -1,4 +1,4 @@ -FROM ubuntu:rolling +FROM --platform=linux/amd64 ubuntu:rolling ARG USER diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json index 7e2d7d066..97ce55d34 100644 --- a/.devcontainer/devcontainer.json +++ b/.devcontainer/devcontainer.json @@ -8,7 +8,8 @@ "runArgs": [ "--cap-add=SYS_PTRACE", "--security-opt", - "seccomp=unconfined" + "seccomp=unconfined", + "--platform", "linux/amd64" ], "updateRemoteUserUID": true, "remoteUser": "${localEnv:USER}", @@ -23,6 +24,7 @@ "slevesque.shader" ], "settings": { + "extensions.verifySignature": false, "terminal.integrated.defaultProfile.linux": "bash", "terminal.integrated.profiles.linux": { "bash": {