usr.bin.ricochet-apparmor 1.6 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465
  1. # Last Modified: Mon Jul 17 00:25:38 2017
  2. #include <tunables/global>
  3. # AppArmor Ricochet profile for Debian GNU/Linux
  4. # This profile is Free Software and released under the same license as Ricochet
  5. # itself.
  6. #
  7. # Copyleft 2015 Jacob Appelbaum <jacob@appelbaum.net>
  8. #
  9. /usr/bin/ricochet {
  10. #include <abstractions/audio>
  11. #include <abstractions/kde>
  12. #include <abstractions/nameservice>
  13. /usr/lib/** mr,
  14. # Allow TCP connections
  15. network inet stream,
  16. network inet6 stream,
  17. # Allow Ricochet to exec pulseaudio
  18. # This makes me very sad...
  19. # as it seems that you can't isolate playing and recording :(
  20. /usr/bin/pulseaudio rix,
  21. # Allow Ricochet to exec tor
  22. /usr/bin/tor rix,
  23. # Tor in turn needs various things
  24. /usr/share/tor/geoip r,
  25. /usr/share/tor/geoip6 r,
  26. /proc/sys/kernel/random/uuid r,
  27. /sys/devices/system/cpu/ r,
  28. # Allow Ricochet to read tor daemons auth cookie
  29. /run/tor/control.authcookie r,
  30. # Allow Ricochet to read itself
  31. /usr/bin/ricochet r,
  32. /proc/[0-9]*/cmdline r,
  33. /proc/[0-9]*/environ r,
  34. # Allow Ricochet to generate audio
  35. owner /{dev,run}/shm/pulse-shm* m,
  36. # Allow Ricochet to draw the UX
  37. /dev/dri/ r,
  38. /sys/devices/pci[0-9]*/**/config r,
  39. /sys/devices/pci[0-9]*/**/uevent r,
  40. /run/udev/data/* r,
  41. # Allow Ricochet to load GTK themes
  42. /usr/share/themes/* r,
  43. /usr/share/themes/**/* r,
  44. owner @{HOME}/.gtkrc-2.0 r,
  45. # Allow Ricochet to look up all your machine's PII
  46. # Why does it need this stuff? BAD NEWS BEARS
  47. /etc/machine-id r,
  48. /var/lib/dbus/machine-id r,
  49. owner @{HOME}/.local/share/Ricochet/ rw,
  50. owner @{HOME}/.local/share/Ricochet/** mrwk,
  51. }