From 1598a7a1d7d197b223c444d1eb8ffc5da7041461 Mon Sep 17 00:00:00 2001
From: Jean-Marie PLACE <jean-marie.place@univ-lille.fr>
Date: Tue, 13 Feb 2024 08:12:35 +0100
Subject: [PATCH] unlink git remote from gitlab(jmplace...)
---
Vagrantfile | 9 +++------
1 file changed, 3 insertions(+), 6 deletions(-)
diff --git a/Vagrantfile b/Vagrantfile
index 0f3aeda85..9d85486c3 100644
--- a/Vagrantfile
+++ b/Vagrantfile
@@ -107,12 +107,9 @@ 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
-
- echo -n "Adresse ip: "
- ip a show eth1
+ #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
SHELL
VAGRANT_COMMAND = ARGV[0]
--
GitLab