Skip to main content

Questions tagged [dev-container]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
0 votes
0 answers
5 views

Setup dev enviroment locally fails on cabal test homework

Hi i setup the dev environment according to the youtube video, "cabal update" worked, but the second command does not work for me: root@c26be85e2bf4:/workspace/code/Week02# cabal test ...
wutzebaer's user avatar
  • 691
1 vote
2 answers
136 views

Is there an OpenZeppelin like library for Cardano?

Developers on EVM compatible blockchains can make use of battle-tested libraries of smart contracts using https://github.com/OpenZeppelin/openzeppelin-contracts I'm thinking about having a basic ...
Falcon Stakepool's user avatar
0 votes
1 answer
90 views

Plutus devcontainer build fails with 'devcontainer' not found

I cloned the current plutus repo git clone https://github.com/input-output-hk/plutus And i'm on the current commit 3f8c1e22292d68d92f01f9a62a60621df01cdd4e But building the dev container does not ...
wutzebaer's user avatar
  • 691
7 votes
1 answer
139 views

How can you run the Plutus Playground and serve the Haddock documentation from the VSCode DevContainer?

I am still looking to settle on a dev environment for Plutus contracts. I am thinking about using VSCode with the devcontainer, but would like to know how well it all integrates. Is it easy to have ...
vcwebco's user avatar
  • 480
7 votes
3 answers
1k views

Problem starting a plutus devcontainer in windows

After I upgraded my container to the commit from plutus pioneer programm lecture 3 the VsCode server won't spawn anymore in the dev container. VSCode tells could not fetch remote environment Failed ...
wutzebaer's user avatar
  • 691