From 7c408d6d70ba77240986132f2e467aecc0fb25f8 Mon Sep 17 00:00:00 2001 From: Billy Brawner Date: Sun, 22 Dec 2019 16:33:19 -0600 Subject: [PATCH] Use sh instead of bash for scripts Signed-off-by: Billy Brawner --- delete | 2 +- edit-description | 2 +- help | 2 +- ls | 2 +- mirror | 2 +- mirror-github-org | 2 +- new | 2 +- notify-jenkins | 2 +- rename | 2 +- 9 files changed, 9 insertions(+), 9 deletions(-) diff --git a/delete b/delete index 849d1e9..8be1ecd 100755 --- a/delete +++ b/delete @@ -1,4 +1,4 @@ -#!/usr/bin/env bash +#!/usr/bin/env sh if [[ -z "$1" ]]; then echo "Please enter a repository name" diff --git a/edit-description b/edit-description index f0eebf0..409af1b 100755 --- a/edit-description +++ b/edit-description @@ -1,4 +1,4 @@ -#!/usr/bin/env bash +#!/usr/bin/env sh if [[ -z "$1" ]]; then echo "Please enter a repository name" diff --git a/help b/help index d429366..876b6ca 100755 --- a/help +++ b/help @@ -1,4 +1,4 @@ -#!/usr/bin/env bash +#!/usr/bin/env sh cat <