changeset 433:7fd72f22a42b bug_168

Ensure we always use the same version of hg
author Chris Cannam
date Mon, 06 Jun 2011 10:56:57 +0100
parents d3af621ba9d4
children dcf38f417f1f 818ff422eece
files extra/soundsoftware/update-external-repo.sh
diffstat 1 files changed, 8 insertions(+), 8 deletions(-) [+]
line wrap: on
line diff
--- a/extra/soundsoftware/update-external-repo.sh	Sun Jun 05 10:28:27 2011 +0100
+++ b/extra/soundsoftware/update-external-repo.sh	Mon Jun 06 10:56:57 2011 +0100
@@ -1,7 +1,7 @@
 #!/bin/sh
 
 mirrordir="/var/mirror"
-logfile="/var/www/test-cannam/log/update-external-repo.log"
+hg="/usr/local/bin/hg"
 
 project="$1"
 local_repo="$2"
@@ -66,7 +66,7 @@
     echo "$$: Mirror for project $project exists at $project_repo_mirror, updating" 1>&2
 
     if [ -d "$project_repo_mirror/.hg" ]; then
-	hg --config extensions.convert= convert --datesort "$remote_repo" "$project_repo_mirror" && success=true
+	"$hg" --config extensions.convert= convert --datesort "$remote_repo" "$project_repo_mirror" && success=true
     elif [ -d "$project_repo_mirror/.git" ]; then
 	( cd "$project_repo_mirror" && git pull "$remote_repo" master ) && success=true
     else 
@@ -81,12 +81,12 @@
     case "$remote_repo" in
 	*git*) 
 	    git clone "$remote_repo" "$project_repo_mirror" ||
-	    hg --config extensions.convert= convert --datesort "$remote_repo" "$project_repo_mirror"
+	    "$hg" --config extensions.convert= convert --datesort "$remote_repo" "$project_repo_mirror"
 	    ;;
 	*)
-	    hg --config extensions.convert= convert --datesort "$remote_repo" "$project_repo_mirror" ||
+	    "$hg" --config extensions.convert= convert --datesort "$remote_repo" "$project_repo_mirror" ||
 	    git clone "$remote_repo" "$project_repo_mirror" ||
-	    hg clone "$remote_repo" "$project_repo_mirror"
+	    "$hg" clone "$remote_repo" "$project_repo_mirror"
 	    ;;
     esac && success=true
 
@@ -98,10 +98,10 @@
     echo "$$: Update successful, pulling into local repo at $local_repo"
     if [ -d "$project_repo_mirror/.git" ]; then
 	if [ ! -d "$local_repo" ]; then
-	    hg init "$local_repo"
+	    "$hg" init "$local_repo"
 	fi
-	( cd "$local_repo" && hg --config extensions.hgext.git= pull "$project_repo_mirror" )
+	( cd "$local_repo" && "$hg" --config extensions.hggit= pull "$project_repo_mirror" )
     else 
-	( cd "$local_repo" && hg pull "$project_repo_mirror" )
+	( cd "$local_repo" && "$hg" pull "$project_repo_mirror" )
     fi
 fi