2023-05-16 17:52:06 +00:00
|
|
|
// For format details, see https://aka.ms/devcontainer.json. For config options, see the
|
|
|
|
|
// README at: https://github.com/devcontainers/templates/tree/main/src/debian
|
|
|
|
|
{
|
2023-06-09 08:44:54 +00:00
|
|
|
"name": "Compiler Codespace",
|
|
|
|
|
// Or use a Dockerfile or Docker Compose file. More info: https://containers.dev/guide/dockerfile
|
|
|
|
|
"image": "mcr.microsoft.com/devcontainers/base:bullseye",
|
|
|
|
|
// Features to add to the dev container. More info: https://containers.dev/features.
|
|
|
|
|
"features": {
|
|
|
|
|
"ghcr.io/devcontainers-contrib/features/sbt-sdkman:2": {},
|
|
|
|
|
"ghcr.io/devcontainers-contrib/features/scala-sdkman:2": {},
|
|
|
|
|
"ghcr.io/devcontainers/features/node:1": {
|
|
|
|
|
"version": "16"
|
|
|
|
|
}
|
|
|
|
|
},
|
|
|
|
|
// TODO: Consider writing setup script
|
|
|
|
|
"postCreateCommand": "bash -i -c \"npm -g install @fluencelabs/cli@latest\"",
|
|
|
|
|
// Use 'forwardPorts' to make a list of ports inside the container available locally.
|
|
|
|
|
// "forwardPorts": [],
|
|
|
|
|
// Configure tool-specific properties.
|
|
|
|
|
"customizations": {
|
|
|
|
|
"codespaces": {
|
|
|
|
|
"repositories": {
|
|
|
|
|
"fluencelabs/docs": {
|
|
|
|
|
"permissions": "write-all"
|
|
|
|
|
},
|
|
|
|
|
"fluencelabs/aqua-vscode": {
|
|
|
|
|
"permissions": "write-all"
|
|
|
|
|
},
|
|
|
|
|
"fluencelabs/examples": {
|
|
|
|
|
"permissions": "write-all"
|
|
|
|
|
},
|
|
|
|
|
"fluencelabs/aqua-tests": {
|
|
|
|
|
"permissions": "write-all"
|
|
|
|
|
},
|
|
|
|
|
"fluencelabs/js-client": {
|
|
|
|
|
"permissions": "write-all"
|
|
|
|
|
},
|
|
|
|
|
"fluencelabs/js-client-examples": {
|
|
|
|
|
"permissions": "write-all"
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
},
|
|
|
|
|
"vscode": {
|
|
|
|
|
"extensions": [
|
|
|
|
|
"FluenceLabs.aqua",
|
|
|
|
|
"scala-lang.scala",
|
|
|
|
|
"scalameta.metals",
|
|
|
|
|
"yzhang.markdown-all-in-one"
|
|
|
|
|
]
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
// Uncomment to connect as root instead. More info: https://aka.ms/dev-containers-non-root.
|
|
|
|
|
// "remoteUser": "root"
|
|
|
|
|
}
|
