diff --git a/start b/start index 49919498635bc8e6050b255c2a93c02bdf1565e3..13cf1b11e337f5e8ce53f1b0c2cd7d5aa077f7a7 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 .