Make host argument optional for mrrepo scriptHEADmaster

1 files changed, 44 insertions, 27 deletions

diff --git a/server/mrrepo b/server/mrrepo
index 1bb3989..469a03f 100755
--- a/server/mrrepo
+++ b/server/mrrepo
@@ -40,7 +40,7 @@
 #
 # runuser -u scm -- /var/scm/mrrepo -s -v git.example.org /var/scm
 #
-usage="usage: $0 [-v] [-s] <host> <path>"
+usage="usage: $0 [-v] [-s] [<host>] <path>"
 
 owd="$(pwd)"
 trap "{ cd '$owd'; exit 1; }" ERR
@@ -65,19 +65,34 @@ while [ "$#" -gt 0 ]; do
       shift
       ;;
     *)
-      if [ -z "$host" ]; then
-        host="$1"
-      elif [ -z "$path" ]; then
-        path="${1%/}"
-      else
-        error "$usage"
-      fi
-      shift
+      break; # The end of options is encountered.
       ;;
   esac
 done
 
-if [ -z "$host" -o -z "$path" ]; then
+# Parse the command line arguments.
+#
+if [ "$#" -lt 1 -o "$#" -gt 2 ]; then
+  error "$usage"
+fi
+
+# Host.
+#
+if [ "$#" -gt 1 ]; then
+  host="$1"
+  shift
+
+  if [ -z "$host" ]; then
+    error "$usage"
+  fi
+fi
+
+# Repositories directory.
+#
+path="${1%/}"
+shift
+
+if [ -z "$path" ]; then
   error "$usage"
 fi
 
@@ -121,8 +136,6 @@ function fetch () # <url> [<curl-options>]
   curl "${curl_ops[@]}" "$@" "$u"
 }
 
-fetch "$prot://$host/manifest" -z remote.manifest -o remote.manifest
-
 function manifest_filter () # <file>
 {
   sed -e '/^\s*#/d;/^\s*$/d;s/\s\s*/ /g' "$1"
@@ -169,18 +182,22 @@ function push_add () # <rep> <url>
   push_auth["$r"]="$u"
 }
 
-while read l || [ -n "$l" ]; do
-  r=$(manifest_field "$l" 1 'path')
-  u=$(manifest_field "$l" 2)
+if [ -n "$host" ]; then
+  fetch "$prot://$host/manifest" -z remote.manifest -o remote.manifest
 
-  remote+=("$r")
+  while read l || [ -n "$l" ]; do
+    r=$(manifest_field "$l" 1 'path')
+    u=$(manifest_field "$l" 2)
 
-  # If the push URL is specified then add it to auth/orig maps.
-  #
-  if [ -n "$u" ]; then
-    push_add "$r" "$u"
-  fi
-done < <(manifest_filter remote.manifest)
+    remote+=("$r")
+
+    # If the push URL is specified then add it to auth/orig maps.
+    #
+    if [ -n "$u" ]; then
+      push_add "$r" "$u"
+    fi
+  done < <(manifest_filter remote.manifest)
+fi
 
 # Find all the existing repositories (directories that end with .git) and sort
 # them out into mirrored and local public. Note that local private will end up
@@ -202,7 +219,7 @@ if test -f manifest; then
 
     for i in "${remote[@]}"; do
       if [ "$i" = "$r" ]; then
-	error "attempt to mirror into local public repository $r"
+        error "attempt to mirror into local public repository $r"
       fi
     done
 
@@ -222,10 +239,10 @@ if test -f manifest; then
     for i in "${local[@]}"; do
       if [ "$i" = "$r" ]; then
         if [ "$verb" -ge 1 ]; then
-	  info "local public repository $r"
-	fi
-	r=
-	break
+          info "local public repository $r"
+        fi
+        r=
+        break
       fi
     done