From 0a98a9db786aa768587a17e5f64e17ebd389680d Mon Sep 17 00:00:00 2001
From: Andrea Censi <AndreaCensi@users.noreply.github.com>
Date: Fri, 26 May 2023 17:46:42 +0200
Subject: misc

---
 README.md | 23 ++++++++++-------------
 1 file 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*.
 
-- 
cgit v1.2.1