diff options
| author | Erich Eckner <git@eckner.net> | 2017-08-24 00:02:04 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-08-24 00:02:04 +0200 |
| commit | 832fa561b424e26f6d8c8d1658e8456858aec970 (patch) | |
| tree | cd0a6f0c51ae246daf0007bd729df0d24b0e5ef5 /conf | |
| parent | a9db8b6d82ff3e43bdfc087cf921cd645edc79e4 (diff) | |
| download | builder-832fa561b424e26f6d8c8d1658e8456858aec970.tar.xz | |
bin/strict-bashism-check: also shellcheck before commiting
Diffstat (limited to 'conf')
| -rwxr-xr-x | conf/default.conf | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/conf/default.conf b/conf/default.conf index 007a5fd..f9bf2ea 100755 --- a/conf/default.conf +++ b/conf/default.conf @@ -63,7 +63,7 @@ webserver_directory='/srv/http' # possibly pull in custom modifications -# shellcheck source=conf/local.conf +# shellcheck source=/dev/null [ -r "${base_dir}/conf/local.conf" ] && . "${base_dir}/conf/local.conf" # check / set up environment |