#69 Change the default shell for shell linting

This commit is contained in:
w0rp 2016-10-09 20:39:14 +01:00
parent 2d32c31205
commit b5e4538699

View File

@ -10,7 +10,11 @@ let g:loaded_ale_linters_sh_shell = 1
" This option can be changed to change the default shell when the shell " This option can be changed to change the default shell when the shell
" cannot be taken from the hashbang line. " cannot be taken from the hashbang line.
if !exists('g:ale_linters_sh_shell_default_shell') if !exists('g:ale_linters_sh_shell_default_shell')
let g:ale_linters_sh_shell_default_shell = fnamemodify($SHELL, ':t')
if g:ale_linters_sh_shell_default_shell ==# ''
let g:ale_linters_sh_shell_default_shell = 'bash' let g:ale_linters_sh_shell_default_shell = 'bash'
endif
endif endif
function! ale_linters#sh#shell#GetExecutable(buffer) function! ale_linters#sh#shell#GetExecutable(buffer)