view scripts/update-git-remotes @ 1179:257963a22c03
draft
Updated DNS servers for UCIS.ano
author
Ivo Smits <Ivo@UCIS.nl>
date
Sun, 18 Oct 2015 23:12:32 +0200 (2015-10-18)
parents
3531789e64ef
children
2f57d4d36759
line source
+ − #!/bin/sh
+ − #
+ − # Creates git remotes from the user db
+ − # TODO: detect users' git address changes
+ − #
+ −
+ − if ! ./scripts/check_db_safety; then
+ − exit 1
+ − fi
+ −
+ − USR_DB_DIR = ./db/usr
+ − GIT_REPO = ./.git
+ − GIT_REMOTES_DIR = $GIT_REPO /refs/remotes
+ −
+ − for u in ` ls -1 $USR_DB_DIR ` ; do
+ − git_url_file = " $USR_DB_DIR / $u /git"
+ −
+ − if [ -f $git_url_file ] ; then
+ − git_url = ` cat $git_url_file `
+ − git_remote_name = "anonet_ $u "
+ −
+ − if [ -d $GIT_REMOTES_DIR /$git_remote_name ] ; then
+ − # The remote already exists;
+ − # TODO: Update it if it has changed.
+ − echo "skipping $u " >& 2
+ −
+ − else
+ − git remote add -t master -m master $git_remote_name $git_url
+ −
+ − fi
+ −
+ − fi
+ − done