From b8c6c71a3c07bd200cc90d7be65f0da722fd2f8f Mon Sep 17 00:00:00 2001
From: jmpla <jean-marie.place@univ-lille.fr>
Date: Sat, 17 Feb 2024 10:12:09 +0100
Subject: [PATCH] fix /home/scodoc
---
Vagrantfile | 8 +++++---
1 file changed, 5 insertions(+), 3 deletions(-)
diff --git a/Vagrantfile b/Vagrantfile
index 0f3aeda85..c3feaa98c 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
@@ -111,8 +113,8 @@ EOF
su -c "git fetch" scodoc
su -c "git switch master --force" scodoc
- echo -n "Adresse ip: "
- ip a show eth1
+ echo -n "Adresse ip: " >> $CONFIG/ip
+ ip a >> $CONFIG/ip
SHELL
VAGRANT_COMMAND = ARGV[0]
--
GitLab