From 63f84ece6ef96c61ba9b877e0cd3aa675da760ad Mon Sep 17 00:00:00 2001 From: Mario Vavti Date: Sun, 20 May 2018 11:39:59 +0200 Subject: backport waitmans changes #1170 from master --- util/add_addon_repo | 2 +- util/add_theme_repo | 2 +- util/add_widget_repo | 2 +- util/hz | 2 +- util/run_xgettext.sh | 2 +- util/shredder/JSON.sh | 2 +- util/shredder/OAuth.sh | 2 +- util/shredder/ShredOAuth.sh | 2 +- util/shredder/shredder | 2 +- util/udall | 2 +- util/update_addon_repo | 2 +- util/update_theme_repo | 2 +- util/update_widget_repo | 2 +- 13 files changed, 13 insertions(+), 13 deletions(-) diff --git a/util/add_addon_repo b/util/add_addon_repo index de19bebfe..6bd9686a1 100755 --- a/util/add_addon_repo +++ b/util/add_addon_repo @@ -1,4 +1,4 @@ -#!/bin/bash -f +#!/usr/bin/env bash -f if [ $# -lt 2 ]; then echo usage: $0 repo_url nickname diff --git a/util/add_theme_repo b/util/add_theme_repo index 1f8e7c1dd..30898dc01 100755 --- a/util/add_theme_repo +++ b/util/add_theme_repo @@ -1,4 +1,4 @@ -#!/bin/bash -f +#!/usr/bin/env bash -f if [ $# -lt 2 ]; then echo usage: $0 repo_url nickname diff --git a/util/add_widget_repo b/util/add_widget_repo index 4cfd6a170..a8e888cdc 100755 --- a/util/add_widget_repo +++ b/util/add_widget_repo @@ -1,4 +1,4 @@ -#!/bin/bash -f +#!/usr/bin/env bash -f if [ $# -lt 2 ]; then echo usage: $0 repo_url nickname diff --git a/util/hz b/util/hz index 8a432c30d..c9dc8654f 100755 --- a/util/hz +++ b/util/hz @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash # Simple, minimalist command line tool to post status to hubzilla via the API. Requires curl. # Put it in your path, and sneeze your statuses to the zot network from your shell. diff --git a/util/run_xgettext.sh b/util/run_xgettext.sh index 918597882..12556868e 100755 --- a/util/run_xgettext.sh +++ b/util/run_xgettext.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash FULLPATH=$(dirname $(readlink -f "$0")) diff --git a/util/shredder/JSON.sh b/util/shredder/JSON.sh index 20c4d282e..9d110a6fe 100755 --- a/util/shredder/JSON.sh +++ b/util/shredder/JSON.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash # The MIT License # # Copyright (c) 2011 Dominic Tarr diff --git a/util/shredder/OAuth.sh b/util/shredder/OAuth.sh index 4be4ed35b..07b2b9e1a 100755 --- a/util/shredder/OAuth.sh +++ b/util/shredder/OAuth.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash # Copyright (c) 2010, 2012 Yu-Jie Lin # # Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/util/shredder/ShredOAuth.sh b/util/shredder/ShredOAuth.sh index e21bea353..56fd3f722 100755 --- a/util/shredder/ShredOAuth.sh +++ b/util/shredder/ShredOAuth.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash # Copyright (c) 2012 Fabio Comuni # Copyright (c) 2012 Michael Nowack # Copyright (c) 2010, 2012 Yu-Jie Lin diff --git a/util/shredder/shredder b/util/shredder/shredder index 61e6b1fd4..6f5736259 100755 --- a/util/shredder/shredder +++ b/util/shredder/shredder @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash # Copyright (c) 2012 Fabio Comuni # Copyright (c) 2010, 2012 Yu-Jie Lin # diff --git a/util/udall b/util/udall index d1ff1c482..f1d52a1d1 100755 --- a/util/udall +++ b/util/udall @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash if [ ! -d .git ]; then echo Unable to update `pwd` exit 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 diff --git a/util/update_theme_repo b/util/update_theme_repo index cd71531d0..609e0cde0 100755 --- a/util/update_theme_repo +++ b/util/update_theme_repo @@ -1,4 +1,4 @@ -#!/bin/bash -f +#!/usr/bin/env bash -f if [ $# -ne 1 ]; then 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 -- cgit v1.2.3