update (thx Eric)

Vagrantfile

@@ -70,19 +70,20 @@ Vagrant.configure("2") do |config|
   # Ansible, Chef, Docker, Puppet and Salt are also available. Please see the
   # documentation for more information about their specific syntax and use.
   config.vm.provision "shell", inline: <<-SHELL
-     apt update && apt -y upgrade
-     apt -y install net-tools
+     export DEBIAN_FRONTEND=noninteractive
+     apt update && apt -ys upgrade
+     apt -ys install net-tools
      export CONFIG=/vagrant/config
-     apt-get install -y gnupg
-     apt-get install -y git
+     apt-get install -ys gnupg
+     apt-get install -ys git
      wget -O - https://scodoc.org/misc/scodoc-repo.gpg.key | gpg --dearmor > /usr/share/keyrings/scodoc-archive-keyring.gpg
      #ajout depot et installation scodoc
      cp $CONFIG/scodoc.list /etc/apt/sources.list.d
      apt-get update
      # discard postfix dialog
      export DEBIAN_FRONTEND=noninteractive
-#     apt-get install -y nginx
-     apt-get install -y scodoc9
+#     apt-get install -ys nginx
+     apt-get install -ys scodoc9
      
      echo '# scodoc user is created by scodoc install. configure it'
      cp $CONFIG/.bashrc /home/scodoc/.bashrc
@@ -92,7 +93,7 @@ scodoc:r6a06$$
 EOF
      echo "configure ssh to scodoc"
      cd /home/vagrant
-     mkdir /home/scodoc
+     mkdir -p /home/scodoc
      chown scodoc:scodoc /home/scodoc
      cp -r .ssh /home/scodoc
      cd /home/scodoc