diff options
| author | intrigeri <intrigeri@boum.org> | 2015-06-04 12:30:47 +0000 |
|---|---|---|
| committer | intrigeri <intrigeri@boum.org> | 2015-06-04 12:30:47 +0000 |
| commit | ba3de99840c2a1cc7ff9b5b2ec11c2881a0e71be (patch) | |
| tree | b9d24be1d9a3271a9d9e799843209eb7e796bd2c /config/chroot_local-patches | |
| parent | 407f285092f730b71f084ef5d7ea4b668cf50afd (diff) | |
apparmor-adjust-tor-profile.diff: simplify and de-duplicate rules, since we now have an alias for /lib/live/mount/overlay/.
Diffstat (limited to 'config/chroot_local-patches')
| -rw-r--r-- | config/chroot_local-patches/apparmor-adjust-tor-profile.diff | 21 |
1 files changed, 8 insertions, 13 deletions
diff --git a/config/chroot_local-patches/apparmor-adjust-tor-profile.diff b/config/chroot_local-patches/apparmor-adjust-tor-profile.diff index 4c5737c..4f327cd 100644 --- a/config/chroot_local-patches/apparmor-adjust-tor-profile.diff +++ b/config/chroot_local-patches/apparmor-adjust-tor-profile.diff @@ -1,18 +1,13 @@ ---- a/etc/apparmor.d/system_tor 2014-09-12 15:44:48.000000000 +0000 -+++ b//etc/apparmor.d/system_tor 2014-09-17 04:41:35.591556000 +0000 -@@ -4,8 +4,12 @@ +--- a/etc/apparmor.d/system_tor 2015-06-04 12:28:12.243020484 +0000 ++++ b/etc/apparmor.d/system_tor 2015-06-04 12:29:32.580249731 +0000 +@@ -4,6 +4,9 @@ profile system_tor { #include <abstractions/tor> - -+ owner /etc/tor/torrc w, -+ owner /etc/tor/torrc.* w, -+ /lib/live/mount/overlay/etc/tor/* wl, + ++ owner /etc/tor/torrc wl, ++ owner /etc/tor/torrc.* wl, + -- owner /var/lib/tor/** rwk, -- owner /var/log/tor/* w, -+ owner /{,lib/live/mount/overlay/}var/lib/tor/** rwk, -+ owner /{,lib/live/mount/overlay/}var/log/tor/* w, + owner /var/lib/tor/** rwk, + owner /var/log/tor/* w, - /{,var/}run/tor/control w, - /{,var/}run/tor/tor.pid w, |