mumble backup more repos?

This change dates from Feb 28  2010, so I don't really know why I made it...

diff --git a/loader b/loader
index 43730a529bd1eed71bda9c30d83e4a116c7b2ab6..31d36f2c3178e8057717c5cc8a03f70804a3aecd 100755 (executable)
--- a/loader
+++ b/loader
@@ -1,13 +1,17 @@
 #!/bin/bash
 #!/bin/bash

-

 set -e
 
 function f { echo "$@"; "$@"; }
 
 set -e
 
 function f { echo "$@"; "$@"; }
 

+echo Running...
+defaultrepos="alex/transfer alex/website alex/program monopoly mathcamp phillipian sisugames "

 variant=${1:-FAILFAILFAIL}
 save=${2:-save}
 variant=${1:-FAILFAILFAIL}
 save=${2:-save}

+repos=$defaultrepos
+echo Args: repos=$repos
+

 mkdir -p $save
 mkdir -p $save

-for repo in mathcamp phillipian sisugames alex/transfer alex/website alex/program monopoly; do
+for repo in $repos; do

     echo
     echo repo is $repo
     repobase=$(basename $repo)
     echo
     echo repo is $repo
     repobase=$(basename $repo)