mirror of
https://github.com/FiloSpaTeam/plutus-pioneer-program.git
synced 2024-11-22 06:42:00 +01:00
Merge branch 'main' into solutions
This commit is contained in:
commit
26e2614adb
3 changed files with 8 additions and 3 deletions
|
@ -90,7 +90,8 @@
|
||||||
|
|
||||||
- [Week 1 Community Playground(Legacy)](https://playground-week1.plutus-community.com/)
|
- [Week 1 Community Playground(Legacy)](https://playground-week1.plutus-community.com/)
|
||||||
- [Week 2 Community Playground(Legacy)](https://playground-week2.plutus-community.com/)
|
- [Week 2 Community Playground(Legacy)](https://playground-week2.plutus-community.com/)
|
||||||
- [Week 3 Community Playground(Current)](https://playground.plutus-community.com/)
|
- [Week 3 Community Playground(Current)](https://playground-week3.plutus-community.com/)
|
||||||
|
- [Week 4 Community Playground(Current)](https://playground.plutus-community.com/)
|
||||||
|
|
||||||
|
|
||||||
## Additional Resources
|
## Additional Resources
|
||||||
|
|
|
@ -1,12 +1,14 @@
|
||||||
{
|
{
|
||||||
"name": "Plutus Starter Project",
|
"name": "Plutus Starter Project",
|
||||||
"image": "plutus-devcontainer:latest",
|
"image": "plutus-devcontainer:latest",
|
||||||
|
|
||||||
|
"remoteUser": "plutus",
|
||||||
|
|
||||||
"mounts": [
|
"mounts": [
|
||||||
// This shares cabal's remote repository state with the host. We don't mount the whole of '.cabal', because
|
// 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
|
// 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.
|
// 2. '.cabal/store' is not necessarily portable to different version of cabal etc.
|
||||||
"source=${localEnv:HOME}/.cabal/packages,target=/root/.cabal/packages,type=bind,consistency=cached",
|
"source=${localEnv:HOME}/.cabal/packages,target=/home/plutus/.cabal/packages,type=bind,consistency=cached",
|
||||||
],
|
],
|
||||||
|
|
||||||
"settings": {
|
"settings": {
|
||||||
|
|
|
@ -1,12 +1,14 @@
|
||||||
{
|
{
|
||||||
"name": "Plutus Starter Project",
|
"name": "Plutus Starter Project",
|
||||||
"image": "plutus-devcontainer:latest",
|
"image": "plutus-devcontainer:latest",
|
||||||
|
|
||||||
|
"remoteUser": "plutus",
|
||||||
|
|
||||||
"mounts": [
|
"mounts": [
|
||||||
// This shares cabal's remote repository state with the host. We don't mount the whole of '.cabal', because
|
// 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
|
// 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.
|
// 2. '.cabal/store' is not necessarily portable to different version of cabal etc.
|
||||||
"source=${localEnv:HOME}/.cabal/packages,target=/root/.cabal/packages,type=bind,consistency=cached",
|
"source=${localEnv:HOME}/.cabal/packages,target=/home/plutus/.cabal/packages,type=bind,consistency=cached",
|
||||||
],
|
],
|
||||||
|
|
||||||
"settings": {
|
"settings": {
|
||||||
|
|
Loading…
Reference in a new issue