diff options
| author | Horacio Sanson <hsanson@gmail.com> | 2020-11-22 05:49:31 +0900 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-11-21 20:49:31 +0000 |
| commit | 5458a1b29167b1fefde5fb6545e371a9d77ca36e (patch) | |
| tree | 6331afad97107a9199f167cadb33a6a582d8ff65 /doc | |
| parent | b4550f361bc0d8d0cce81ecc02c82167b6df0738 (diff) | |
| download | ale-5458a1b29167b1fefde5fb6545e371a9d77ca36e.zip | |
Fix 3103 - add shellcheck shell directive detection. (#3216)
* Fix 3103 - add shellcheck shell directive detection.
Searches for shellcheck shell directive to detect dialects for scripts
that do not have shebang.
* Change order of detection of shellcheck dialect
In a situation where the filetype can be wrong (example: something.sh
which is written in bash dialect) and has no hash-bang (since it is
meant to be sourced) then the override specified within the script will
be ignored.
It probably is the most right thing to do if the script author has added
a specific directive; it should trump everything else.
Co-authored-by: Horacio Sanson <horacio@allm.inc>
Co-authored-by: Dino Korah <dino.korah@redmatter.com>
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions