testlogin

.log/gin.log

@@ -7,3 +7,4 @@
 2022-03-30T14:54:28: Sync script executed
 2022-03-30T14:55:58: Sync script executed
 2022-03-30T15:15:11: Sync script executed
+2022-03-30T15:32:35: Sync script executed

.scripts/setginserver

@@ -0,0 +1,34 @@
+# set server
+if ! gin use-server hu; then
+  echo "set gin sewrver"
+  # set gin remote from git information (on the hu server)
+  gin add-server --web https://gindata.biologie.hu-berlin.de:443 --git git@gindata.biologie.hu-berlin.de:10022 hu
+
+  # chose hu server for this computer
+  gin use-server hu
+
+fi
+
+
+# set remote
+if ! gin remotes; then
+  echo "set gin remote"
+  # set gin remote from git information (on the hu server)
+  remotegit=$(git remote get-url origin)
+  remotegin="$(echo "$remotegit" | cut -d'/' -f4,5)"
+
+  remotegin="$(echo $remotegin | cut -d' ' -f1)"
+  remotegin="$(echo "hu:""${remotegin/.git}")"
+  gin add-remote primary "$remotegin"
+else
+    echo gin remote set
+fi
+
+
+if ! gin info; then
+  echo "set gin login"
+  gin login
+else
+    echo "gin logged"
+fi
+

SSH-INIT-SYNC

@@ -18,6 +18,21 @@ projectdir=$(git -C ${loc} rev-parse --show-toplevel)
 
 pushd ${loc} > /dev/null
 
+## set gin server and remote
+if ! gin remotes; then
+  sh .script/setginserver
+else
+    echo gin remote set
+fi
+
+#login if needed
+if ! gin info; then
+  echo "set gin login"
+  gin login
+else
+    echo "gin logged"
+fi
+
 ## code 1
 if test -f "00repo_needs_initialisation00.txt" ;
   then
@@ -55,18 +70,7 @@ usage() {
 syncopt="remove"
 
 
-if ! gin remotes; then
-  echo "set gin remote"
-  # set gin remote from git information (on the hu server)
-  remotegit=$(git remote get-url origin)
-  remotegin="$(echo "$remotegit" | cut -d'/' -f4,5)"
-
-  remotegin="$(echo $remotegin | cut -d' ' -f1)"
-  remotegin="$(echo "hu:""${remotegin/.git}")"
-  gin add-remote primary "$remotegin"
-else
-    echo gin remote set
-fi
+