Quellcode durchsuchen

add changes in script

julien colomb vor 2 Jahren
Ursprung
Commit
c7bff72e9e
3 geänderte Dateien mit 8 neuen und 10 gelöschten Zeilen
  1. 3 5
      .scripts/setginserver
  2. 2 0
      .scripts/template_init.command
  3. 3 5
      INIT-sync

+ 3 - 5
.scripts/setginserver

@@ -3,13 +3,11 @@ if ! gin use-server hu; then
   echo "set gin server"
   # 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
 
-
+# chose hu server for this computer
+  gin use-server hu
+  
 # set remote
 if ! gin remotes; then
   echo "set gin remote"

+ 2 - 0
.scripts/template_init.command

@@ -94,10 +94,12 @@ else
     # add a file to tell the user/script to initialise the submodules next time.
     
     echo "submodules need intitialisation due to project "$reposhort"." >> "initialise.txt"
+
     gin git add "initialise.txt"
    
     # push changes on the server and remove the repo from the computer.
     gin git commit  -m "added project $reposhort"
+
     gin upload
     cd ../
     rm -rf labreports

+ 3 - 5
INIT-sync

@@ -19,11 +19,9 @@ projectdir=$(git -C ${loc} rev-parse --show-toplevel)
 pushd ${loc} > /dev/null
 
 ## set gin server and remote
-if ! gin remotes; then
-  sh .scripts/setginserver
-else
-    echo gin remote set
-fi
+
+sh .scripts/setginserver
+
 
 #login if needed
 if ! gin info; then