From 96eb7751a3747f7cccc82728ff8890c9608c53c5 Mon Sep 17 00:00:00 2001
From: Hamza Remmal <hamza.remmal@epfl.ch>
Date: Wed, 13 Apr 2022 22:08:41 +0000
Subject: [PATCH] Add tar and move instructions to create the executable

---
 labs/tools-setup.md | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/labs/tools-setup.md b/labs/tools-setup.md
index 80aa739..f516742 100644
--- a/labs/tools-setup.md
+++ b/labs/tools-setup.md
@@ -53,7 +53,13 @@ cd %USERPROFILE%
 Now assuming that you're in the correct directory you can run:
 
 ```shell
-bitsadmin /transfer cs-cli  https://github.com/coursier/launchers/raw/master/cs-x86_64-pc-win32.zip "%cd%\cs.exe"
+bitsadmin /transfer cs-cli  https://github.com/coursier/launchers/raw/master/cs-x86_64-pc-win32.zip "%cd%\cs.zip"
+```
+```shell
+tar -xf cs.zip
+```
+```shell
+move cs-x86_64-pc-win32.exe cs.exe
 ```
 ```shell
 .\cs setup -y --jvm 8 --apps cs,sbt
-- 
GitLab