diff --git a/Vagrantfile b/Vagrantfile index 9d85486c3d93d4702ecc9fa1778d116bc1a6779d..c3feaa98c306f33650b312a30aac079a88d83bbe 100644 --- a/Vagrantfile +++ b/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]