diff options
| author | Jonas Smedegaard <dr@jones.dk> | 2017-02-25 12:10:29 +0100 |
|---|---|---|
| committer | Jonas Smedegaard <dr@jones.dk> | 2017-02-25 12:10:29 +0100 |
| commit | 1b50142ade971bf110e4a30367487c868b4c8676 (patch) | |
| tree | d442ab7ce0a334553a55e0d88fd914bbcd6b7e20 | |
| parent | 552dc686a8e8a980352444c2def7861b8ff172f8 (diff) | |
Really fix getopt options.
| -rwxr-xr-x | localgit-remote-init-push | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/localgit-remote-init-push b/localgit-remote-init-push index 80600fa..41c1bae 100755 --- a/localgit-remote-init-push +++ b/localgit-remote-init-push @@ -33,7 +33,7 @@ exit1() { } # parse cmdline options -TEMP="`getopt -s -s sh -o h -l help -n "$PRG" -- "$@"`" || exit1 +TEMP="`getopt -s sh -o h -l help -n "$PRG" -- "$@"`" || exit1 eval set -- "$TEMP" while true; do case "$1" in |