diff options
author | anntnzrb <51257127+anntnzrb@users.noreply.github.com> | 2020-07-05 15:17:49 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-07-05 16:17:49 -0400 |
commit | 53cdc0eb9579770b326fbf61876051cb84185c2d (patch) | |
tree | 54769205b931bd7debe3486877d757f2c0086898 /.local/bin/compiler%3fid%3d53cdc0eb9579770b326fbf61876051cb84185c2d?id=53cdc0eb9579770b326fbf61876051cb84185c2d | |
parent | 8cba946027f53db3c60a66a0822eeae173c5f743 (diff) |
Prevent user-defined aliases/commands checking (#748)
Adding `[ -x ]` also checks if the command is an executable; if this
check is skipped, then user-defined aliases will interfere and validate
the condition (unintended).
Diffstat (limited to '.local/bin/compiler%3fid%3d53cdc0eb9579770b326fbf61876051cb84185c2d?id=53cdc0eb9579770b326fbf61876051cb84185c2d')
0 files changed, 0 insertions, 0 deletions