diff options
| author | Mario Vavti <mario@mariovavti.com> | 2018-05-20 11:39:59 +0200 |
|---|---|---|
| committer | Mario Vavti <mario@mariovavti.com> | 2018-05-20 11:39:59 +0200 |
| commit | 63f84ece6ef96c61ba9b877e0cd3aa675da760ad (patch) | |
| tree | 3bc9ace55bbe7042e74e503588b30a5caa404d2e /util/update_widget_repo | |
| parent | b11db26edf963aaa59c5f34346be4480360ba773 (diff) | |
| download | volse-hubzilla-63f84ece6ef96c61ba9b877e0cd3aa675da760ad.tar.gz volse-hubzilla-63f84ece6ef96c61ba9b877e0cd3aa675da760ad.tar.bz2 volse-hubzilla-63f84ece6ef96c61ba9b877e0cd3aa675da760ad.zip | |
backport waitmans changes #1170 from master
Diffstat (limited to 'util/update_widget_repo')
| -rwxr-xr-x | util/update_widget_repo | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/util/update_widget_repo b/util/update_widget_repo index 8ef5eba27..c88a1e637 100755 --- a/util/update_widget_repo +++ b/util/update_widget_repo @@ -1,4 +1,4 @@ -#!/bin/bash -f +#!/usr/bin/env bash -f if [ $# -ne 1 ]; then echo usage: $0 repository |