Skip to content

Commit d87faf7

Browse files
authored
Your bash is not my bash
Let's respect the environment. If a developer is running their own version of the shell, respect it. Don't hard-code.
1 parent 45eaeba commit d87faf7

File tree

4 files changed

+4
-5
lines changed

4 files changed

+4
-5
lines changed

scripts/activate.sh

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
#!/bin/bash
1+
#! /usr/bin/env bash
22

33
# Make sure this is sourced.
44
if [[ "$0" == "${BASH_SOURCE[0]}" ]]; then
@@ -78,7 +78,6 @@ print("{}{}.{}".format(platform.python_implementation().lower(), *sys.version_in
7878

7979
fi
8080

81-
8281
# Just a flag so that we know this was supposedly run.
8382
export _PYAV_ACTIVATED=1
8483

scripts/build

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
#!/bin/bash
1+
#! /usr/bin/env bash
22

33
if [[ ! "$_PYAV_ACTIVATED" ]]; then
44
export here="$(cd "$(dirname "${BASH_SOURCE[0]}")"; pwd)"

scripts/build-deps

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
#!/bin/bash
1+
#! /usr/bin/env bash
22

33
if [[ ! "$_PYAV_ACTIVATED" ]]; then
44
export here="$(cd "$(dirname "${BASH_SOURCE[0]}")"; pwd)"

scripts/test

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
#!/bin/bash
1+
#! /usr/bin/env bash
22

33
# Exit as soon as something errors.
44
set -e

0 commit comments

Comments
 (0)