test_1_3.main/.scripts/setginserver

# 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