123456789101112131415161718192021222324252627 |
- # set server, use HU server
- 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
- fi
- # chose hu server for this computer
- gin use-server hu
-
- # 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
|