rename --full-web and --full-files to --web and --files accordingly

2024-01-14 08:31:28 +00:00 · 2024-01-14 08:31:28 +00:00 · 42c75befe2
commit 42c75befe2
parent 5462ac4b94
1 changed files with 3 additions and 3 deletions
--- a/get-refs.sh
+++ b/get-refs.sh
@ -8,17 +8,17 @@ FULL_WEB=0
 FULL_FILES=0

 usage() {
-    echo "usage: $0 [--full-web] [--full-files] [-h|--help]"
+    echo "usage: $0 [--web] [--files] [-h|--help]"
 }

 # Parse command-line arguments
 while [ "$#" -gt 0 ]; do
    case "$1" in
-        --full-web)
+        --web)
            FULL_WEB=1
            shift
            ;;
-        --full-files)
+        --files)
            FULL_FILES=1
            shift
            ;;