summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorGioele Zardini <32289677+gzardini@users.noreply.github.com>2022-03-01 08:49:44 +0100
committerGitHub <noreply@github.com>2022-03-01 08:49:44 +0100
commit3b3932e24e86a169bafdf9d12f50d339c2542c3e (patch)
treeca725cc1a5b2b7095c5b147f086d5895dcb94d07
parentUpdate README.md (diff)
downloadact4e-3b3932e24e86a169bafdf9d12f50d339c2542c3e.tar.gz
act4e-3b3932e24e86a169bafdf9d12f50d339c2542c3e.zip
Update README.md
-rw-r--r--README.md1
1 files changed, 1 insertions, 0 deletions
diff --git a/README.md b/README.md
index 6c531e1..2da0866 100644
--- a/README.md
+++ b/README.md
@@ -6,6 +6,7 @@
<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. On step 6, you can download Ubuntu 18.04 LTS. 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>