From 0476f41d9ac754eb6ba2a78ac20dfc615d6e51d0 Mon Sep 17 00:00:00 2001
From: tali auster <120901234+atalii@users.noreply.github.com>
Date: Mon, 24 Jul 2023 03:38:41 -0600
Subject: [PATCH] dev: use env for executable shebangs (#1408)

This is just a minor fix to let the scripts run in more exotic
environments, i.e., NixOS.
---
 dev/build.sh     | 2 +-
 dev/functions.sh | 4 ++--
 dev/unused.sh    | 2 +-
 3 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/dev/build.sh b/dev/build.sh
index 7d95ec78..d5b035a5 100755
--- a/dev/build.sh
+++ b/dev/build.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 # Import reusable bits
 pushd $( cd -- "$( dirname -- "${BASH_SOURCE[0]}" )" &> /dev/null && pwd ) > /dev/null
diff --git a/dev/functions.sh b/dev/functions.sh
index 9894d182..9ded1e89 100755
--- a/dev/functions.sh
+++ b/dev/functions.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env
 
 function guess_OS() {
     # Returns one of the values needed in ALIRE_OS, using environment variables
@@ -48,4 +48,4 @@ function get_OS() {
         guess_OS
         ;;
     esac
-}
\ No newline at end of file
+}
diff --git a/dev/unused.sh b/dev/unused.sh
index 7f46d023..031594d5 100755
--- a/dev/unused.sh
+++ b/dev/unused.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env
 
 # Import reusable bits
 pushd $( cd -- "$( dirname -- "${BASH_SOURCE[0]}" )" &> /dev/null && pwd ) > /dev/null
-- 
2.39.5