diff options
| author | Mario Vavti <mario@mariovavti.com> | 2018-05-21 20:01:03 +0200 |
|---|---|---|
| committer | Mario Vavti <mario@mariovavti.com> | 2018-05-21 20:01:03 +0200 |
| commit | fff720c00d8581bf8c56a178580d7eab68af6061 (patch) | |
| tree | fc9cc08d40f822b487ec3cf6e0d7b877313152d5 /util/update_widget_repo | |
| parent | a8274bbfb3c5ac315f3dcf470f45262c03d48e06 (diff) | |
| download | volse-hubzilla-fff720c00d8581bf8c56a178580d7eab68af6061.tar.gz volse-hubzilla-fff720c00d8581bf8c56a178580d7eab68af6061.tar.bz2 volse-hubzilla-fff720c00d8581bf8c56a178580d7eab68af6061.zip | |
address globbing issue in #1170
Diffstat (limited to 'util/update_widget_repo')
| -rwxr-xr-x | util/update_widget_repo | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/util/update_widget_repo b/util/update_widget_repo index c88a1e637..70d09f959 100755 --- a/util/update_widget_repo +++ b/util/update_widget_repo @@ -1,4 +1,6 @@ -#!/usr/bin/env bash -f +#!/usr/bin/env bash + +set -f if [ $# -ne 1 ]; then echo usage: $0 repository |