summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorAndrea Censi <AndreaCensi@users.noreply.github.com>2023-05-26 17:46:42 +0200
committerAndrea Censi <AndreaCensi@users.noreply.github.com>2023-05-26 17:46:42 +0200
commit0a98a9db786aa768587a17e5f64e17ebd389680d (patch)
tree09cc2368650bda77e6833e8fc465f34cbaf78c59
parentciskip (diff)
downloadact4e-mcdp-0a98a9db786aa768587a17e5f64e17ebd389680d.tar.gz
act4e-mcdp-0a98a9db786aa768587a17e5f64e17ebd389680d.zip
misc
Diffstat (limited to '')
-rw-r--r--README.md23
1 files changed, 10 insertions, 13 deletions
diff --git a/README.md b/README.md
index ef6d22f..53915d5 100644
--- a/README.md
+++ b/README.md
@@ -1,18 +1,15 @@
# Setup
-## Install Docker
-
-<ul>
- <li> (Mac, Linux) Follow the [installation instructions](https://docs.docker.com/get-docker/) </li>
- <li>(Windows):
- <ul>
- <li>Follow the manual installation steps for Windows Subsystem for Linux [here](https://docs.microsoft.com/en-us/windows/wsl/install). On step 1, follow the recommendation of updating to WSL 2. You do not necessarily need to install Windows Terminal. </li>
- <li>Now go [here](https://docs.docker.com/desktop/windows/install/) and follow the "Install Docker Desktop on Windows" instructions. You can then start Docker Desktop and follow the quick start quide.</li>
- </ul>
- </li>
-</ul>
-
-## Install VS Code.
+## Install required software
+
+Install Docker:
+
+* (Mac, Linux) Follow the [installation instructions](https://docs.docker.com/get-docker/)
+* (Windows): Follow the manual installation steps for Windows Subsystem for Linux [here](https://docs.microsoft.com/en-us/windows/wsl/install). On step 1, follow the recommendation of updating to WSL 2. You do not necessarily need to install Windows Terminal. Now go [here](https://docs.docker.com/desktop/windows/install/) and follow the "Install Docker Desktop on Windows" instructions. You can then start Docker Desktop and follow the quick start quide.
+
+Install VS Code [using the instructions online](https://code.visualstudio.com/download).
+
+## Open the folder in VS Code using "Dev Container"
Select File -> Open and select *the entire folder*.