From e2dd6011ad2abcec220220f14efdb451c986aea3 Mon Sep 17 00:00:00 2001 From: Andrea Censi Date: Tue, 22 Feb 2022 13:54:04 +0100 Subject: fix --- README.md | 30 ++++++++++++++++++++++++++++++ 1 file changed, 30 insertions(+) create mode 100644 README.md (limited to 'README.md') 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.. + + + -- cgit v1.2.1 From d33763817e7501bd2ff81f7d5da1900c9d15c8d2 Mon Sep 17 00:00:00 2001 From: Gioele Zardini <32289677+gzardini@users.noreply.github.com> Date: Tue, 22 Feb 2022 14:04:08 +0100 Subject: Update README.md --- README.md | 2 ++ 1 file changed, 2 insertions(+) (limited to 'README.md') diff --git a/README.md b/README.md index bf98d63..5bb6b79 100644 --- a/README.md +++ b/README.md @@ -6,6 +6,8 @@ Install VS Code. Select File -> Open and select *the entire folder*. +VS Code will propose to install "Dev Container". Click "install". + VS Code will give you a message similar to: > Folder contains a Dev Container configuration file. Reopen folder to develop in a container. -- cgit v1.2.1