Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
path: root/conf
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2017-08-24 00:02:04 +0200
committerErich Eckner <git@eckner.net>2017-08-24 00:02:04 +0200
commit832fa561b424e26f6d8c8d1658e8456858aec970 (patch)
treecd0a6f0c51ae246daf0007bd729df0d24b0e5ef5 /conf
parenta9db8b6d82ff3e43bdfc087cf921cd645edc79e4 (diff)
bin/strict-bashism-check: also shellcheck before commiting
Diffstat (limited to 'conf')
-rwxr-xr-xconf/default.conf2
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