From a54754536bf510c953705a2861b782aa3492ddf9 Mon Sep 17 00:00:00 2001
From: Olivier Cots <61-ocots@users.noreply.022e47118ec0>
Date: Mon, 13 Dec 2021 18:16:16 +0000
Subject: [PATCH] Update start

---
 start | 1 +
 1 file changed, 1 insertion(+)

diff --git a/start b/start
index 4991949..13cf1b1 100644
--- a/start
+++ b/start
@@ -1,4 +1,5 @@
 #!/bin/bash
+install_c_kernel --user
 git clone --single-branch -b master https://gitlab.irit.fr/toc/mathn7/tutoriels/etudiants.git
 rm -fr tutoriels
 mv etudiants/tutoriels .
-- 
GitLab