location selector: support the .de mirror in ./all update -l de

diff --git a/all b/all
index 42aaffb9c7532c47d7b6e4ab7ed95d182100deee..f74df0179f85478f78d7178e4f4f05a9f99f1983 100755 (executable)
--- a/all
+++ b/all
@@ -428,12 +428,14 @@ case "$cmd" in
                        elif [ x"$1" = x"-l" ]; then
                                case "$2" in
                                        nl) ;;
-                                       # de) ;;
+                                       de) ;;
+                                       default) ;;
                                        *)
                                                msg "Invalid location!"
                                                msg "Possible locations for the -l option:"
                                                msg "  nl (Netherlands, run by merlijn)"
-                                               #msg "  de (Germany, run by divVerent)"
+                                               msg "  de (Germany, run by divVerent)"
+                                               msg "  default (currently nl)"
                                                exit 1
                                                ;;
                                esac
@@ -446,7 +448,7 @@ case "$cmd" in
                        shift
                done
                case "$location" in
-                       main|nl)
+                       default)
                                location=
                                ;;
                        current)
@@ -1715,6 +1717,6 @@ case "$cmd" in
                echo "  $SELF run [sdl|glx|wgl|agl|dedicated] options..."
                echo "  $SELF save-patches"
                echo "  $SELF update-maps"
-               echo "  $SELF update|pull [-N] [-s | -h [-p] | -g [-p]] [-l country]"
+               echo "  $SELF update|pull [-N] [-s | -h [-p] | -g [-p]] [-l de|nl|default]"
                ;;
 esac