File size: 1,440 Bytes
a6e1186
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
// For format details, see https://aka.ms/devcontainer.json. For config options, see the
// README at: https://github.com/devcontainers/templates/tree/main/src/ubuntu
{
	"name": "Python 3",
	"image": "mcr.microsoft.com/devcontainers/python:3.12",
	// "name": "Ubuntu",
	// Or use a Dockerfile or Docker Compose file. More info: https://containers.dev/guide/dockerfile
	// "image": "mcr.microsoft.com/devcontainers/base:jammy",
	// "build": {
	// 	"args": {
	// 		"VARIANT": "3.12"
	// 	}
	// },
	"features": {
		"ghcr.io/devcontainers/features/rust": {
			"version": "latest",
			"overridePackageManager": "cargo"
		},
		"ghcr.io/devcontainers-extra/features/cmake": {
			"version": "latest",
			"overridePackageManager": "apt-get"
		}
	},
	// "build": { "dockerfile": "Dockerfile" },

	// Features to add to the dev container. More info: https://containers.dev/features.
	// "features": {},

	// Use 'forwardPorts' to make a list of ports inside the container available locally.
	// "forwardPorts": [],

	// Use 'postCreateCommand' to run commands after the container is created.
	// "postCreateCommand": "pip install --upgrade pip && pip install -r requirements.txt",

	// Configure tool-specific properties.
	// "customizations": {},

	// Uncomment to connect as root instead. More info: https://aka.ms/dev-containers-non-root.
	// "remoteUser": "root"
	"containerEnv": {
		"SPACE_HOST": "localhost",
		"SPACE_ID": "jake-adams-wwt"
	}
}