Skip to content
This repository was archived by the owner on May 20, 2024. It is now read-only.

Commit 7df3016

Browse files
Update devcontainer.json and sources.json
1 parent 61e99c2 commit 7df3016

File tree

2 files changed

+7
-7
lines changed

2 files changed

+7
-7
lines changed

.devcontainer/devcontainer.json

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
{
22
"name": "Plutus Starter Project",
3-
"image": "docker.io/inputoutput/plutus-starter-devcontainer:v1.0.10",
3+
"image": "docker.io/inputoutput/plutus-starter-devcontainer:v1.0.14",
44

55
"remoteUser": "plutus",
66

@@ -15,7 +15,7 @@
1515
// Note: don't change from bash so it runs .bashrc
1616
"terminal.integrated.shell.linux": "/bin/bash"
1717
},
18-
18+
1919
// IDs of extensions inside container
2020
"extensions": [
2121
"haskell.haskell"

nix/sources.json

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1,14 +1,14 @@
11
{
2-
"plutus": {
2+
"plutus-apps": {
33
"branch": "master",
44
"description": "The Plutus language implementation and tools",
55
"homepage": "",
66
"owner": "input-output-hk",
7-
"repo": "plutus",
8-
"rev": "plutus-starter-devcontainer/v1.0.10",
9-
"sha256": "06c3jhsbjmzqv951yi1spq1jihija48vss2b8gx9b1fqnz50dbnm",
7+
"repo": "plutus-apps",
8+
"rev": "plutus-starter-devcontainer/v1.0.14",
9+
"sha256": "0j3hphj4b21vwdj900233d67qsaj91mppwsx1vv0ichnmnw2bmir",
1010
"type": "tarball",
11-
"url": "https://github.com/input-output-hk/plutus/archive/plutus-starter-devcontainer/v1.0.10.tar.gz",
11+
"url": "https://github.com/input-output-hk/plutus-apps/archive/plutus-starter-devcontainer/v1.0.14.tar.gz",
1212
"url_template": "https://github.com/<owner>/<repo>/archive/<rev>.tar.gz"
1313
}
1414
}

0 commit comments

Comments
 (0)