You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Expected to have error that $SHELL is not quoted. Although the value is usually /usr/bin/bash, it could very well be some long directory that includes whitespace.
No warnings show up for $any_var either - I suppose this was done because people combine the command path and its flags in the same variable and having a lint would cause more trouble than it's worth? Although I disagree, I'm not asking to change other variables since it's behavior is not unreasonable.
The text was updated successfully, but these errors were encountered:
For bugs
Here's a snippet or screenshot that shows the problem:
Here's what shellcheck currently says:
Nothing
Here's what I wanted or expected to see:
Expected to have error that
$SHELL
is not quoted. Although the value is usually/usr/bin/bash
, it could very well be some long directory that includes whitespace.No warnings show up for
$any_var
either - I suppose this was done because people combine the command path and its flags in the same variable and having a lint would cause more trouble than it's worth? Although I disagree, I'm not asking to change other variables since it's behavior is not unreasonable.The text was updated successfully, but these errors were encountered: