profiles: patch fixes (#5970)

Commit 3077b2d1f blacklists `${PATH}/patch` in disable-devel.inc[1]. We
need to noblacklist it in the profiles that need it.

[1] 3077b2d1ff
This commit is contained in:
glitsj16 2023-08-25 01:55:52 +00:00 committed by GitHub
parent 2ad255432b
commit dd5ae0d8f4
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
3 changed files with 3 additions and 0 deletions

View file

@ -10,6 +10,7 @@ include ani-cli.local
noblacklist ${HOME}/.cache/ani-cli
noblacklist ${HOME}/.local/state/ani-cli
noblacklist ${PATH}/patch
# Allow /bin/sh (blacklisted by disable-shell.inc)
include allow-bin-sh.inc

View file

@ -17,6 +17,7 @@ noblacklist ${HOME}/.config/ueberzugpp
noblacklist ${HOME}/.local/share/applications/lobster
noblacklist ${HOME}/.local/share/lobster
noblacklist ${PATH}/openssl
noblacklist ${PATH}/patch
# Allow /bin/sh (blacklisted by disable-shell.inc)
include allow-bin-sh.inc

View file

@ -10,6 +10,7 @@ include globals.local
blacklist ${RUNUSER}
noblacklist ${DOCUMENTS}
noblacklist ${PATH}/patch
include disable-common.inc
include disable-devel.inc