diff --git a/paper b/paper index 9efb026e82..e4fb4b42c6 100755 --- a/paper +++ b/paper @@ -199,7 +199,7 @@ unset -f color unset -f colorend unset -f paperstash unset -f paperunstash -if [ "$failed" == "1" ]; then +if [[ "$failed" == "1" ]]; then unset failed false else diff --git a/scripts/apatch.sh b/scripts/apatch.sh index 54355c61f2..38a2046912 100755 --- a/scripts/apatch.sh +++ b/scripts/apatch.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash gitcmd="git -c commit.gpgsign=false" diff --git a/scripts/checkoutpr.sh b/scripts/checkoutpr.sh index f11b89a31d..3d07227ff6 100755 --- a/scripts/checkoutpr.sh +++ b/scripts/checkoutpr.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash if [ -z "$1" ]; then echo "$0 " exit 1;