diff options
author | Andrea Censi <acensi@ethz.ch> | 2022-02-22 13:54:04 +0100 |
---|---|---|
committer | Andrea Censi <acensi@ethz.ch> | 2022-02-22 13:54:04 +0100 |
commit | e2dd6011ad2abcec220220f14efdb451c986aea3 (patch) | |
tree | e59ddb64dec6f3f6b8a5a3d4c61a224b79324029 /README.md | |
parent | fix (diff) | |
download | act4e-e2dd6011ad2abcec220220f14efdb451c986aea3.tar.gz act4e-e2dd6011ad2abcec220220f14efdb451c986aea3.zip |
fix
Diffstat (limited to 'README.md')
-rw-r--r-- | README.md | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/README.md b/README.md new file mode 100644 index 0000000..bf98d63 --- /dev/null +++ b/README.md @@ -0,0 +1,30 @@ + + +## Setup + +Install VS Code. + +Select File -> Open and select *the entire folder*. + +VS Code will give you a message similar to: + +> Folder contains a Dev Container configuration file. Reopen folder to develop in a container. + +Select "Reopen in container". + +Now you should have the folder open while VS Code is in "container development mode". + +Create a new terminal using Terminal -> New Terminal. + +Run the following: + + make check-TestSimpleIntro + +This will have created a file `out-results/result-TestSimpleIntro.html`. + +From the file tree to the left, right-click the file and select "open preview". You will see the results of the testing. + +Now browse the Python files in `src/`. Verify that autocompletion works.. + + + |