From b6e6d5eba409ca26934308a171c01210747248d7 Mon Sep 17 00:00:00 2001 From: Andrew Robbins Date: Fri, 23 Jun 2017 13:06:02 -0400 Subject: Replaced '#!/bin/bash' w/ '#!/usr/bin/env bash' This is mainly useful for being able to run these scripts on BSDs. And for users who use a Bash not installed to /bin. --- www/generate.sh | 2 +- www/index.sh | 2 +- www/publish.sh | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) (limited to 'www') diff --git a/www/generate.sh b/www/generate.sh index 4d9e6c8a..3e54dc13 100755 --- a/www/generate.sh +++ b/www/generate.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash [ "x${DEBUG+set}" = 'xset' ] && set -v set -e diff --git a/www/index.sh b/www/index.sh index 938baca1..18aad44b 100755 --- a/www/index.sh +++ b/www/index.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash # # Copyright (C) 2017 Alyssa Rosenzweig # diff --git a/www/publish.sh b/www/publish.sh index 0be47a78..cdf3a72a 100755 --- a/www/publish.sh +++ b/www/publish.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash # # Copyright (C) 2017 Alyssa Rosenzweig # Copyright (C) 2017 Leah Rowe -- cgit v1.2.3-70-g09d2