fix(profile): manually deny path in git

Needed as 44a6bc86e6 raise merged rule with conflicting x modifiers errors.
This commit is contained in:
Alexandre Pujol 2025-08-15 11:29:54 +02:00
parent 5f368403b3
commit 753d36cfa3
No known key found for this signature in database
GPG key ID: C5469996F0DF68EC

View file

@ -38,6 +38,7 @@ profile git @{exec_path} flags=(attach_disconnected) {
deny /usr/local/games/ r,
deny /var/lib/flatpak/exports/bin/ r,
deny owner @{HOME}/.go/bin/ r,
deny owner @{HOME}/bin/ r,
deny owner @{user_bin_dirs}/ r,
# These are needed for "git submodule update"