From ff04a1a870056d5875cb8a3c2bd780975ce4cea5 Mon Sep 17 00:00:00 2001 From: Philipp Sauter Date: Wed, 24 May 2023 10:05:24 +0200 Subject: [PATCH] We start each script with `#!/usr/bin/env bash` since that's the most common. --- chatgpt.sh | 2 +- install.sh | 2 +- internal_dev/debmaker.sh | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/chatgpt.sh b/chatgpt.sh index 81df29a..c1933b5 100755 --- a/chatgpt.sh +++ b/chatgpt.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash GLOBIGNORE="*" diff --git a/install.sh b/install.sh index 143d8b6..a862301 100755 --- a/install.sh +++ b/install.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash if [[ $EUID -ne 0 ]]; then echo "This script must be run as root" diff --git a/internal_dev/debmaker.sh b/internal_dev/debmaker.sh index c469a5d..583830c 100755 --- a/internal_dev/debmaker.sh +++ b/internal_dev/debmaker.sh @@ -1,4 +1,4 @@ -#!/bin/env bash +#!/usr/bin/env bash ############################################################################### # Purpose: The purpose of this script is to simply generate a .deb file. # Once the .deb file is generated a copy is moved to /tmp.