Meta: Tweak shell_include.sh

* `chmod -x` as it's for sourcing, not for executing
* Remove run line, for the same reason
* Rename it from .shell_include.sh to shell_include.sh, since e.g.
  `rg` doesn't search in hidden files by default

No behavior change.
This commit is contained in:
Nico Weber 2022-12-19 09:19:26 -05:00 committed by Tim Flynn
commit c6f81b5b83
Notes: sideshowbarker 2024-07-17 02:56:26 +09:00
6 changed files with 6 additions and 6 deletions

View file

@ -4,7 +4,7 @@ set -e
script_path=$(cd -P -- "$(dirname -- "$0")" && pwd -P)
. "${script_path}/.shell_include.sh"
. "${script_path}/shell_include.sh"
cleanup() {
if [ -d mnt ]; then