diff options
Diffstat (limited to 'etc/profile-a-l/ani-cli.profile')
-rw-r--r-- | etc/profile-a-l/ani-cli.profile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/etc/profile-a-l/ani-cli.profile b/etc/profile-a-l/ani-cli.profile index f34f6270b..afd76282c 100644 --- a/etc/profile-a-l/ani-cli.profile +++ b/etc/profile-a-l/ani-cli.profile | |||
@@ -10,6 +10,7 @@ include ani-cli.local | |||
10 | 10 | ||
11 | noblacklist ${HOME}/.cache/ani-cli | 11 | noblacklist ${HOME}/.cache/ani-cli |
12 | noblacklist ${HOME}/.local/state/ani-cli | 12 | noblacklist ${HOME}/.local/state/ani-cli |
13 | noblacklist ${PATH}/patch | ||
13 | 14 | ||
14 | # Allow /bin/sh (blacklisted by disable-shell.inc) | 15 | # Allow /bin/sh (blacklisted by disable-shell.inc) |
15 | include allow-bin-sh.inc | 16 | include allow-bin-sh.inc |