From 9c4f651e6be522edca83718f88cdc05a4623d03d Mon Sep 17 00:00:00 2001 From: Dan Kegel Date: Tue, 18 Apr 2017 07:59:01 -0700 Subject: [PATCH] Document shell directive added by 944313c6 --- shellcheck.1.md | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/shellcheck.1.md b/shellcheck.1.md index 00ef455..c957896 100644 --- a/shellcheck.1.md +++ b/shellcheck.1.md @@ -157,6 +157,11 @@ Valid keys are: used to tell shellcheck where to look for a file whose name is determined at runtime, or to skip a source by telling it to use `/dev/null`. +**shell** +: Overrides the shell detected from the shebang. This is useful for + files meant to be included (and thus lacking a shebang), or possibly + as a more targeted alternative to 'disable=2039'. + # ENVIRONMENT VARIABLES The environment variable `SHELLCHECK_OPTS` can be set with default flags: