Profiles update.

This commit is contained in:
Alexandre Pujol 2022-03-04 21:30:34 +00:00
parent 7b09b8c99a
commit 1e729e6b46
No known key found for this signature in database
GPG key ID: C5469996F0DF68EC
11 changed files with 56 additions and 44 deletions

View file

@ -80,8 +80,8 @@ profile git @{exec_path} {
owner @{HOME}/@{XDG_PROJECTS_DIR}/ rw,
owner @{HOME}/@{XDG_PROJECTS_DIR}/** rwkl -> @{HOME}/@{XDG_PROJECTS_DIR}/**,
owner @{user_cache_dirs}/**/.SRCINFO r,
owner @{user_cache_dirs}/**/.git/** r,
owner @{user_cache_dirs}/*/ rw,
owner @{user_cache_dirs}/*/** rwkl -> @{user_cache_dirs}/*/**,
owner /tmp/** rwkl -> /tmp/**,
owner /tmp/**/bin/* rCx -> exec,

View file

@ -68,6 +68,7 @@ profile kmod @{exec_path} flags=(attach_disconnected) {
owner @{user_build_dirs}/**/debian/*/lib/modules/*/kernel/**/*.ko r,
deny /apparmor/.null rw,
deny @{user_share_dirs}/gvfs-metadata/* r,
include if exists <local/kmod>
}