mirror of
https://github.com/FiloSpaTeam/plutus-pioneer-program.git
synced 2024-09-21 17:27:56 +02:00
23 lines
803 B
JSON
23 lines
803 B
JSON
{
|
|
"name": "Plutus Starter Project",
|
|
"image": "plutus-devcontainer:latest",
|
|
|
|
"remoteUser": "plutus",
|
|
|
|
"mounts": [
|
|
// This shares cabal's remote repository state with the host. We don't mount the whole of '.cabal', because
|
|
// 1. '.cabal/config' contains absolute paths that will only make sense on the host, and
|
|
// 2. '.cabal/store' is not necessarily portable to different version of cabal etc.
|
|
"source=${localEnv:HOME}/.cabal/packages,target=/home/plutus/.cabal/packages,type=bind,consistency=cached",
|
|
],
|
|
|
|
"settings": {
|
|
// Note: don't change from bash so it runs .bashrc
|
|
"terminal.integrated.shell.linux": "/bin/bash"
|
|
},
|
|
|
|
// IDs of extensions inside container
|
|
"extensions": [
|
|
"haskell.haskell"
|
|
],
|
|
}
|