diff --git a/README.org b/README.org index 995c2a7..6b155e0 100644 --- a/README.org +++ b/README.org @@ -19,7 +19,7 @@ It was inspired by [[https://wiki.ros.org/wstool][wstool]], [[https://github.com OPTIONS -f, --fetch Execute 'git fetch --prune --all' for all repositories in PATHS -p, --pull Execute 'git pull' for all repositories which are behind upstream - in PATHS (includes '--fetch') + in PATHS -h, --help Show this help message and exit #+end_example diff --git a/gis b/gis index 67fbda4..d77bb99 100755 --- a/gis +++ b/gis @@ -20,7 +20,7 @@ If the variable isn't set, the current work directory is used. OPTIONS -f, --fetch Execute 'git fetch --prune --all' for all repositories in PATHS -p, --pull Execute 'git pull' for all repositories which are behind upstream - in PATHS (includes '--fetch') + in PATHS -h, --help Show this help message and exit EOF exit @@ -36,7 +36,6 @@ while (( "$#" )); do shift ;; -p|--pull) - fetch=true pull=true shift ;;