diff options
| author | git-marijus <mario@mariovavti.com> | 2018-05-20 11:23:15 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-05-20 11:23:15 +0200 |
| commit | d0d14579d1671984b0036ebf4c9e2a8d99792f10 (patch) | |
| tree | 41c9847a1d50edcb43f1bb2497ea1d0b5616f96e /util/update_addon_repo | |
| parent | da460ff32f4bebc8c2d7b17b1eb883851114fccc (diff) | |
| parent | 1509c9682bc23cdb0bfb4f22f3565be261b108d5 (diff) | |
| download | volse-hubzilla-d0d14579d1671984b0036ebf4c9e2a8d99792f10.tar.gz volse-hubzilla-d0d14579d1671984b0036ebf4c9e2a8d99792f10.tar.bz2 volse-hubzilla-d0d14579d1671984b0036ebf4c9e2a8d99792f10.zip | |
Merge pull request #1170 from waitman/master
shebang portable
Diffstat (limited to 'util/update_addon_repo')
| -rwxr-xr-x | util/update_addon_repo | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/util/update_addon_repo b/util/update_addon_repo index ba1862f4b..efa46c668 100755 --- a/util/update_addon_repo +++ b/util/update_addon_repo @@ -1,4 +1,4 @@ -#!/bin/bash -f +#!/usr/bin/env bash -f if [ $# -ne 1 ]; then echo usage: $0 repository |