diff options
author | Luke Shumaker <lukeshu@sbcglobal.net> | 2016-04-17 02:07:26 -0400 |
---|---|---|
committer | Luke Shumaker <lukeshu@sbcglobal.net> | 2016-04-17 14:46:10 -0400 |
commit | a2891a08c0cde48d966b037503c24b0d8f5b5f6d (patch) | |
tree | 6b4da20dbfdc9f45e0c28e04623eb9aeb799ce5b /test/lib/common.inc | |
parent | 8700e09c4d2ff0a20d5fa3789a6309078bc1ccb6 (diff) |
Add "#!/hint/bash" to the beginning of several files.
It is a method of notifying text-editors that a file is in Bash syntax
without giving it a propper shebang (which would be confusing, as it
would suggest that the file should be executable), as well as working
across virtually all text-editors (unlike "-*- Mode: Bash -*-" or
whatever).
Diffstat (limited to 'test/lib/common.inc')
-rw-r--r-- | test/lib/common.inc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/test/lib/common.inc b/test/lib/common.inc index 83c54bd..954868b 100644 --- a/test/lib/common.inc +++ b/test/lib/common.inc @@ -1,3 +1,4 @@ +#!/hint/bash set -E . "$(dirname "${BASH_SOURCE[0]}")/../../config" |