From f312418abcfcf8e608def7c9f8ca2dbcff0f8421 Mon Sep 17 00:00:00 2001
From: Olivier Cots <61-ocots@users.noreply.022e47118ec0>
Date: Mon, 21 Nov 2022 13:37:04 +0000
Subject: [PATCH] Update start

---
 start | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/start b/start
index 624127a..95d9354 100644
--- a/start
+++ b/start
@@ -1,7 +1,7 @@
 #!/bin/bash
 install_c_kernel --user
-git clone --single-branch -b master https://gitlab.irit.fr/toc/etu-n7/tutoriels.git tutos-root
-rm -fr tutoriels
-mv tutos-root/tutoriels .
-rm -rf tutos-root
+git clone --single-branch -b master https://gitlab.irit.fr/toc/etu-n7/tutoriels.git
+rm -fr src
+mv tutoriels/src .
+rm -rf tutoriels
 exec "$@"
-- 
GitLab