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 | |
parent | fix (diff) | |
download | act4e-e2dd6011ad2abcec220220f14efdb451c986aea3.tar.gz act4e-e2dd6011ad2abcec220220f14efdb451c986aea3.zip |
fix
-rw-r--r-- | .devcontainer/devcontainer.json | 3 | ||||
-rw-r--r-- | Makefile | 8 | ||||
-rw-r--r-- | README.md | 30 |
3 files changed, 36 insertions, 5 deletions
diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json index 6970d3c..626e731 100644 --- a/.devcontainer/devcontainer.json +++ b/.devcontainer/devcontainer.json @@ -9,7 +9,7 @@ // Update 'VARIANT' to pick a Python version: 3, 3.10, 3.9, 3.8, 3.7, 3.6 // Append -bullseye or -buster to pin to an OS version. // Use -bullseye variants on local on arm64/Apple Silicon. - "VARIANT": "3.10", + "VARIANT": "3.10-bullseye", // Options "NODE_VERSION": "none" } @@ -34,6 +34,7 @@ // Add the IDs of extensions you want installed when the container is created. "extensions": [ "ms-python.python", + "tht13.html-preview-vscode", // "ms-python.vscode-pylance" ], @@ -5,17 +5,17 @@ tag=mytag build: docker build --build-arg DOCKER_REGISTRY=${DOCKER_REGISTRY} -t $(tag) . -check: build +docker-check: build docker run -it --rm -v $(PWD)/out-results:/ACT4E/out-results $(tag) \ act4e-test --collections act4e_checks --module act4e_solutions -check-%: build +docker-check-%: build docker run -it --rm -v $(PWD)/out-results:/ACT4E/out-results $(tag) \ act4e-test --collections act4e_checks --module act4e_solutions --group $* -local-check: +check: act4e-test --collections act4e_checks --module act4e_solutions -local-check-%: +check-%: act4e-test --collections act4e_checks --module act4e_solutions --group $*
\ No newline at end of file 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.. + + + |