1  // For format details, see https://aka.ms/devcontainer.json
 2  {
 3    "name": "Aeternity-dev",
 4  
 5    // using an existing image
 6    "image": "aeternity/builder:focal-otp26",
 7  
 8     // building image from a Dockerfile for full control
 9     // "build": {
10     //   // (path is relative to the devcontainer.json file)
11     //   "dockerfile": "Dockerfile",
12     //   "args": { },
13     // },
14  
15    "containerEnv": {
16      // Build with dynamically linked RocksDB like we do in the
17      // main Aeternity Dockerfile, speeding up full builds a lot
18      "ERLANG_ROCKSDB_OPTS": "-DWITH_SYSTEM_ROCKSDB=ON -DWITH_LZ4=ON -DWITH_SNAPPY=ON -DWITH_BZ2=ON -DWITH_ZSTD=ON"
19    },
20  
21    // Additional host directories
22    "mounts": [
23      // Uncomment to mount your local ~/.aeternity directory under the
24      // home directory of the container user
25      //"source=${localEnv:HOME}/.aeternity,target=/home/builder/.aeternity,type=bind,consistency=cached"
26    ],
27  
28    // Run container commands as a different user than the container default
29    // (Note: containers running as root cannot be updated to the local UID)
30    "remoteUser": "builder",
31  
32    // Run all container processes as a different user than the default
33    // "containerUser": "1000",
34  
35    // Disables updating of the remote user uid to that of the local user
36    // (typically you should leave this on to avoid problems with ownership
37    // on your local files)
38    // "updateRemoteUserUID": false,
39  
40    // Features to add to the dev container.
41    "features": {
42      // "ghcr.io/nils-geistmann/devcontainers-features/create-remote-user:0": {
43      //   // ensure the remote user exists (i.e. remoteUser or containerUser)
44      // }
45    }
46  
47    // Make a list of ports inside the container available locally
48    // "forwardPorts": [],
49  
50    // Use 'postCreateCommand' to run commands after the container is created.
51    // "postCreateCommand": ".devcontainer/postCreate.sh",
52  
53    // Configure tool-specific properties.
54    // "customizations": {},
55  }