diff options
Diffstat (limited to 'server/mrrepo')
| -rwxr-xr-x | server/mrrepo | 93 |
1 files changed, 47 insertions, 46 deletions
diff --git a/server/mrrepo b/server/mrrepo index 71eff69..91f6966 100755 --- a/server/mrrepo +++ b/server/mrrepo @@ -21,35 +21,35 @@ # usage="usage: $0 [-v] [-s] <host> <path>" -owd=`pwd` -trap "{ cd $owd; exit 1; }" ERR +owd="$(pwd)" +trap "{ cd '$owd'; exit 1; }" ERR set -o errtrace # Trap in functions. function info () { echo "$*" 1>&2; } function error () { info "$*"; exit 1; } -prot=http +prot="http" host= path= -verb=0 +verb="0" -while [ $# -gt 0 ]; do - case $1 in +while [ "$#" -gt "0" ]; do + case "$1" in -v) - verb=1 + verb="1" shift ;; -s) - prot=https + prot="https" shift ;; *) if [ -z "$host" ]; then - host=$1 + host="$1" elif [ -z "$path" ]; then - path=$1 + path="${1%/}" else - error "$usage" + error "$usage" fi shift ;; @@ -64,86 +64,87 @@ if [ ! -d "$path" ]; then error "$path is not a directory" fi -cd $path +cd "$path" -curl_ops="-f" # Fail on HTTP errors. -curl_ops+=" --max-time 30" # Finish in 30 seconds. +curl_ops=() +curl_ops+=("-f") # Fail on HTTP errors. +curl_ops+=("--max-time" "30") # Finish in 30 seconds. -if [ $verb -ge 1 ]; then - curl_ops+=" --progress-bar" +if [ "$verb" -ge "1" ]; then + curl_ops+=("--progress-bar") else - curl_ops+=" -s -S" # Silent but show errors. + curl_ops+=("-s" "-S") # Silent but show errors. fi function fetch () # <url> [<curl-options>] { - local u=$1; shift + local u="$1"; shift - if [ $verb -ge 1 ]; then - info "curl $curl_ops $* $u" + if [ "$verb" -ge "1" ]; then + info "${curl_ops[@]}" "$@" "$u" fi - curl $curl_ops $* $u + curl "${curl_ops[@]}" "$@" "$u" } -fetch $prot://$host/manifest -z manifest -o manifest +fetch "$prot://$host/manifest" -z manifest -o manifest new=() while read r || [ -n "$r" ]; do new+=("$r") done <manifest -# Find all existing repositories (directories that end with .git). +# Find all the existing repositories (directories that end with .git). # -old=(`find . -type d -name '*.git' -print -prune | sed -e 's%^./%%' -`) +old=("$(find . -type d -name '*.git' -print -prune | sed -e 's%^./%%' -)") -git_ops= -if [ $verb -eq 0 ]; then - git_ops+="-q" +git_ops=() +if [ "$verb" -eq "0" ]; then + git_ops+=("-q") fi -for r in ${new[@]}; do - if [ -d $r ]; then - if [ -z "$(ls -A $r)" ]; then - rm -r $r +for r in "${new[@]}"; do + if [ -d "$r" ]; then + if [ -z "$(ls -A "$r")" ]; then + rm -r "$r" fi fi - if [ ! -d $r ]; then - if [ $verb -ge 1 ]; then + if [ ! -d "$r" ]; then + if [ "$verb" -ge "1" ]; then info "new repository $r in manifest, cloning" - info "git clone $git_ops --mirror git://$host/$r $r" + info git clone "${git_ops[@]}" --mirror "git://$host/$r" "$r" fi - mkdir -p $r - git clone $git_ops --mirror git://$host/$r $r + mkdir -p "$r" + git clone "${git_ops[@]}" --mirror "git://$host/$r" "$r" # Also copy the description file. # - fetch $prot://$host/$r/description -o $r/description + fetch "$prot://$host/$r/description" -o "$r/description" else - if [ $verb -ge 1 ]; then + if [ "$verb" -ge "1" ]; then info "existing repository $r, fetching" - info "git -C $r fetch $git_ops --tags" + info git -C "$r" fetch "${git_ops[@]}" --prune --tags fi - git -C $r fetch $git_ops --prune --tags + git -C "$r" fetch "${git_ops[@]}" --prune --tags fi done # Remove old repositories. # -for o in ${old[@]}; do - for n in ${new[@]}; do - if [ $o = $n ]; then +for o in "${old[@]}"; do + for n in "${new[@]}"; do + if [ "$o" = "$n" ]; then o= break fi done if [ -n "$o" ]; then - if [ $verb -ge 1 ]; then + if [ "$verb" -ge "1" ]; then info "repository $o is no longer in manifest, removing" fi - rm -rf $o + rm -rf "$o" fi done -cd $owd +cd "$owd" |