On Fri, Mar 2, 2018 at 5:54 AM, Ralf Treinen wrote: > However, /bin/sh may be linked to bash, and bash does alias substitution > only when in interactive mode but not in batch mode [2]. That is, unless > a special bash option is set. > > ... I think we should - file a bug against shellcheck asking for detection of this situation. https://github.com/koalaman/shellcheck/issues/new -- bye, pabs https://wiki.debian.org/PaulWise