From 69e21be4039390c2e12f24e70757f57bfe7411c6 Mon Sep 17 00:00:00 2001 From: Jordan Atwood Date: Wed, 21 Sep 2022 10:01:49 -0700 Subject: [PATCH] Update shell script shebangs While `/bin/bash` is the default in many systems, it cannot be relied upon for _all_ systems, particularly ones such as MacOS where the default `/bin/bash` is a very old version. Instead, use the `bash` executable from the system's PATH. --- setup.sh | 2 +- src/.bash_profile | 2 +- src/.bashrc | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/setup.sh b/setup.sh index 44a8d4d..93fe6ac 100755 --- a/setup.sh +++ b/setup.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash set -e # Accept the `--remove` argument to delete symlinks of the files to be copied diff --git a/src/.bash_profile b/src/.bash_profile index ff028de..079649c 100755 --- a/src/.bash_profile +++ b/src/.bash_profile @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash ### environment vars # Ensure $HOME/.bin exists, add it to PATH diff --git a/src/.bashrc b/src/.bashrc index c762c6b..9ee2476 100755 --- a/src/.bashrc +++ b/src/.bashrc @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash # If not running interactively, don't do anything [ -z "$PS1" ] && return