Plutus Pioneer Programme Cohort 4 Develoment Environment - wimsio/universities GitHub Wiki

There are many easy ways to setup development environment for the Plutus Practical excercises of Dr Lars. Using github codespaces is another easy one. It is a web based service. Follow the steps below carefully. If you encounter problems, post your issue on discord.

Setting up Plutus Pioneer Development Environment Steps:

1. Signup with github or Login to github
2. Load the plutus-pioneer-program github repository
3. Fork the repository. If you do not know how to do it, then follow these steps. create a working branch dev and use this dev branch for development so that if mistakes are done, you can use your main branch to create another dev branch.
4. Load the github vscode editor by pressing the fullstop(.) or go to the url of github. Only change the '.com' or .dev. Do not change other parts of the url and press Enter on the keyboard. The github vscode will be opened.
5. Open the terminal. Click the mobile menu at the top left, click Terminal and then New Terminal. Use cd command to move to the code directory.
6. Go to extensions and install Remote Development. It is the 5th button from top, on the left column. It has an icon of a L shaped 3 squares with a pulled off square. Click it.
7. A search box will appear. Type in the search box Remote Development. Install it.
8. When Remote Development extension is installed, it will display the words Code spaces organic adventure.
9. Use the Terminal, enter the following Cabal commands: a) cabal update b) cabal build all
10. The dev environment should be setup and you can navigate to the Weekxx(02) and enter cabal repl to start the interactive environment. Follow the videos for lecturers.