#!/bin/bash DIR=`dirname $0` cd $DIR new_repository_url="https://gitecoles.grenoble.fr/grenoble/eole-wol" if [ ! -z "`git remote -v | awk '/tetras-libre/{print $2}'`" ] then git remote set-url origin $new_repository_url fi cd -