add mirrordistro command

1 files changed, 27 insertions, 0 deletions

diff --git a/repoctl b/repoctl
index 5ceba28..fc77bfb 100755
--- a/repoctl
+++ b/repoctl
@@ -83,6 +83,14 @@ Options:
 
 EOF
 	;;
+        mirrordistro)
+	   cat <<EOF
+Usage: mirrordistro distrorelease
+
+Mirror the distribution tree to the main mirror.
+EOF
+       ;;
+	
     esac
 }
 
@@ -304,6 +312,21 @@ function genhdlists()
     fi
 }
 
+function mirrordistro()
+{
+    if [ $# != 1 ]
+    then
+	usage_cmd mirrordistro
+	exit 1
+    fi
+    if [ "$1" = "--help" ]
+    then
+	usage_cmd mirrordistro
+    else
+	mirror_repository "$1"
+    fi
+}
+
 function usage()
 {
     cat <<EOF
@@ -352,6 +375,10 @@ case "$1" in
 	shift
 	genhdlists $@
 	;;
+    mirrordistro)
+	shift
+	mirrordistro $@
+	;;
     *)
 	usage
 	exit 1