From 20f31b99199a78ad2a1492fc69a59cc1ec7c5e86 Mon Sep 17 00:00:00 2001 From: Rui Date: Fri, 6 Sep 2024 17:28:37 +0000 Subject: [PATCH] fix: add missing file --- .devcontainer/pre-build/.devcontainer.json | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) create mode 100644 .devcontainer/pre-build/.devcontainer.json diff --git a/.devcontainer/pre-build/.devcontainer.json b/.devcontainer/pre-build/.devcontainer.json new file mode 100644 index 0000000..88b336b --- /dev/null +++ b/.devcontainer/pre-build/.devcontainer.json @@ -0,0 +1,22 @@ +{ + "image": "ubuntu:22.04", + // "build": { + // "dockerfile": "Dockerfile" + // }, + // "runArgs": [ + // "--gpus", + // "all" + // ], + "features": { + "ghcr.io/devcontainers/features/nvidia-cuda:1": {}, + "ghcr.io/duduribeiro/devcontainer-features/neovim:1": { "version": "nightly" }, + "ghcr.io/itsmechlark/features/1password:1": {}, + "ghcr.io/devcontainers/features/github-cli:1": {}, + "ghcr.io/devcontainers/features/docker-outside-of-docker:1": {}, + "ghcr.io/devcontainers/features/node:1": { "version": "20.16"}, + "ghcr.io/jungaretti/features/make:1": {}, + "ghcr.io/devcontainers/features/rust:1": {}, + "ghcr.io/devcontainers/features/python:1": { "version": "3.12"} + + } +}