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:45 +0200 |
| commit | 4610fa27740788f7a9be8d1e7734ea44dbe21d4b (patch) | |
| tree | 919f0df304e1fcb8581b304f549040518e838be0 /util/update_theme_repo | |
| parent | 5b48eb3657a7cf6593b4c1f6ee17bf32eaa402af (diff) | |
| download | volse-hubzilla-4610fa27740788f7a9be8d1e7734ea44dbe21d4b.tar.gz volse-hubzilla-4610fa27740788f7a9be8d1e7734ea44dbe21d4b.tar.bz2 volse-hubzilla-4610fa27740788f7a9be8d1e7734ea44dbe21d4b.zip | |
address globbing issue in #1170
Diffstat (limited to 'util/update_theme_repo')
| -rwxr-xr-x | util/update_theme_repo | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/util/update_theme_repo b/util/update_theme_repo index 181bff9c6..3a6e3dbd0 100755 --- a/util/update_theme_repo +++ b/util/update_theme_repo @@ -1,4 +1,6 @@ -#!/usr/bin/env bash -f +#!/usr/bin/env bash + +set -f if [ $# -ne 1 ]; then echo usage: $0 repository |