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 | |
| 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')
| -rwxr-xr-x | util/add_addon_repo | 4 | ||||
| -rwxr-xr-x | util/add_theme_repo | 4 | ||||
| -rwxr-xr-x | util/add_widget_repo | 4 | ||||
| -rwxr-xr-x | util/update_addon_repo | 4 | ||||
| -rwxr-xr-x | util/update_theme_repo | 4 | ||||
| -rwxr-xr-x | util/update_widget_repo | 4 |
6 files changed, 18 insertions, 6 deletions
diff --git a/util/add_addon_repo b/util/add_addon_repo index 6bd9686a1..d82081470 100755 --- a/util/add_addon_repo +++ b/util/add_addon_repo @@ -1,4 +1,6 @@ -#!/usr/bin/env bash -f +#!/usr/bin/env bash + +set -f if [ $# -lt 2 ]; then echo usage: $0 repo_url nickname diff --git a/util/add_theme_repo b/util/add_theme_repo index 30898dc01..7ae9cdb02 100755 --- a/util/add_theme_repo +++ b/util/add_theme_repo @@ -1,4 +1,6 @@ -#!/usr/bin/env bash -f +#!/usr/bin/env bash + +set -f if [ $# -lt 2 ]; then echo usage: $0 repo_url nickname diff --git a/util/add_widget_repo b/util/add_widget_repo index a8e888cdc..77774587c 100755 --- a/util/add_widget_repo +++ b/util/add_widget_repo @@ -1,4 +1,6 @@ -#!/usr/bin/env bash -f +#!/usr/bin/env bash + +set -f if [ $# -lt 2 ]; then echo usage: $0 repo_url nickname diff --git a/util/update_addon_repo b/util/update_addon_repo index efa46c668..0e471eb4f 100755 --- a/util/update_addon_repo +++ b/util/update_addon_repo @@ -1,4 +1,6 @@ -#!/usr/bin/env bash -f +#!/usr/bin/env bash + +set -f if [ $# -ne 1 ]; then echo usage: $0 repository diff --git a/util/update_theme_repo b/util/update_theme_repo index 609e0cde0..b4de55568 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 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 |