SoundSoftware Code Site

# If we have a record of the last successfully updated remote repo

# URL, check it against our current remote URL: if it has changed, we

# will need to start again with a new clone rather than pulling

# updates into the existing local mirror

successfile="$project_mirror/last_successful_url"

if [ -f "$successfile" ]; then

    last=$(cat "$successfile")

    if [ x"$last" == x"$remote_repo" ]; then

	echo "$$: Remote URL is unchanged from last successful update"

    else

	echo "$$: Remote URL has changed since last successful update:"

	echo "$$: Last URL was $last, current is $remote_repo"

	suffix="$$.$(date +%s)"

	echo "$$: Moving existing repos to $suffix suffix and starting afresh"

	mv "$project_repo_mirror" "$project_repo_mirror"."$suffix"

	mv "$local_repo" "$local_repo"."$suffix"

	mv "$successfile" "$successfile"."$suffix"

    fi

fi

    if [ ! -d "$local_repo" ]; then

	"$hg" init "$local_repo"

    fi

	( cd "$local_repo" && "$hg" --config extensions.hggit= pull "$project_repo_mirror" ) && echo "$remote_repo" > "$successfile"

	( cd "$local_repo" && "$hg" pull "$project_repo_mirror" ) && echo "$remote_repo" > "$successfile"