Merge branch 'main' of gitlab-ssh.univ-lille.fr:Jean-Marie.Place/r6a06

Vagrantfile

@@ -81,7 +81,7 @@ Vagrant.configure("2") do |config|
      apt-get update
      # discard postfix dialog
      export DEBIAN_FRONTEND=noninteractive
-     apt-get install -y nginx
+#     apt-get install -y nginx
      apt-get install -y scodoc9
      
      echo '# scodoc user is created by scodoc install. configure it'
@@ -92,6 +92,8 @@ scodoc:r6a06$$
 EOF
      echo "configure ssh to scodoc"
      cd /home/vagrant
+     mkdir /home/scodoc
+     chown scodoc:scodoc /home/scodoc
      cp -r .ssh /home/scodoc
      cd /home/scodoc
      chown -R scodoc:scodoc .ssh
@@ -107,9 +109,12 @@ EOF
      # iniitalise repo
      cd /opt/scodoc
      su -c "git init" scodoc
-     #su -c "git remote add origin https://gitlab.univ-lille.fr/Jean-Marie.Place/scodoc_r6a06.git" scodoc
-     #su -c "git fetch" scodoc
-     #su -c "git switch master --force" scodoc
+     su -c "git remote add origin https://gitlab.univ-lille.fr/Jean-Marie.Place/scodoc_r6a06.git" scodoc
+     su -c "git fetch" scodoc
+     su -c "git switch master --force" scodoc
+
+     echo -n "Adresse ip: " >> $CONFIG/ip
+     ip a >> $CONFIG/ip
   SHELL
 
   VAGRANT_COMMAND = ARGV[0]