Closed vbauerster closed 6 days ago
Ok, just figured it out:
diff --git a/apparmor.d/tunables/home.d/apparmor.d b/apparmor.d/tunables/home.d/apparmor.d
index 1c0e73bf..d26eec71 100644
--- a/apparmor.d/tunables/home.d/apparmor.d
+++ b/apparmor.d/tunables/home.d/apparmor.d
@@ -53,7 +53,7 @@
# Other user directories
@{user_books_dirs}=@{HOME}/@{XDG_BOOKS_DIR} @{MOUNTS}/@{XDG_BOOKS_DIR}
@{user_games_dirs}=@{HOME}/@{XDG_GAMES_DIR} @{MOUNTS}/@{XDG_GAMES_DIR}
-@{user_projects_dirs}=@{HOME}/@{XDG_PROJECTS_DIR} @{MOUNTS}/@{XDG_PROJECTS_DIR}
+@{user_projects_dirs}=@{HOME}/@{XDG_PROJECTS_DIR} @{MOUNTS}/*/@{XDG_PROJECTS_DIR}
@{user_sync_dirs}=@{HOME}/@{XDG_SYNC_DIR} @{MOUNTS}/*/@{XDG_SYNC_DIR}
@{user_torrents_dirs}=@{HOME}/@{XDG_TORRENTS_DIR} @{MOUNTS}/@{XDG_TORRENTS_DIR}
@{user_vm_dirs}=@{HOME}/@{XDG_VM_DIR} @{MOUNTS}/@{XDG_VM_DIR}
I suppose in this context all @{MOUNTS}
should be followed by /*/@{XDG_...}
.
Well. @{MOUNTS}
is already @{MOUNTDIRS}/*/
and @{MOUNTDIRS}
is /media/ @{run}/media/ /mnt/
. This has been done to handle this kind of setup. I guess here we need something like @{MOUNTS}=@{MOUNTDIRS}/*{,/*}/
I assume following rules should allow to work with git repos under
@{user_projects_dirs}
:https://github.com/roddhjav/apparmor.d/blob/ef687d71498f50ffe9c79e075052b51d806733cc/apparmor.d/tunables/home.d/apparmor.d#L16
https://github.com/roddhjav/apparmor.d/blob/ef687d71498f50ffe9c79e075052b51d806733cc/apparmor.d/tunables/home.d/apparmor.d#L56
https://github.com/roddhjav/apparmor.d/blob/ef687d71498f50ffe9c79e075052b51d806733cc/apparmor.d/profiles-g-l/git#L84-L86
However there are logs which complain about:
for context:
Projects
is a directory on a flash drive mounted.