diff options
author | glitsj16 <glitsj16@users.noreply.github.com> | 2019-02-21 20:23:38 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-02-21 20:23:38 +0000 |
commit | 0f1ab7f065986cc06f6da7d32dcc3da8cad51187 (patch) | |
tree | dad5e52ad2d62fb7a9dc097c390d6c78e7a41655 /etc/masterpdfeditor.profile | |
parent | Revert machine-id comment mess (part 2) (#2440) (diff) | |
download | firejail-0f1ab7f065986cc06f6da7d32dcc3da8cad51187.tar.gz firejail-0f1ab7f065986cc06f6da7d32dcc3da8cad51187.tar.zst firejail-0f1ab7f065986cc06f6da7d32dcc3da8cad51187.zip |
masterpdfeditor cleanup (#2441)
Diffstat (limited to 'etc/masterpdfeditor.profile')
-rw-r--r-- | etc/masterpdfeditor.profile | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/etc/masterpdfeditor.profile b/etc/masterpdfeditor.profile index 015319601..3d88b1f82 100644 --- a/etc/masterpdfeditor.profile +++ b/etc/masterpdfeditor.profile | |||
@@ -19,7 +19,6 @@ include whitelist-var-common.inc | |||
19 | 19 | ||
20 | caps.drop all | 20 | caps.drop all |
21 | ipc-namespace | 21 | ipc-namespace |
22 | # machine-id breaks audio; it should work fine in setups where sound is not required | ||
23 | machine-id | 22 | machine-id |
24 | net none | 23 | net none |
25 | no3d | 24 | no3d |
@@ -37,15 +36,11 @@ seccomp | |||
37 | shell none | 36 | shell none |
38 | tracelog | 37 | tracelog |
39 | 38 | ||
40 | # disable-mnt | ||
41 | # private | ||
42 | private-bin masterpdfeditor* | 39 | private-bin masterpdfeditor* |
43 | private-cache | 40 | private-cache |
44 | private-dev | 41 | private-dev |
45 | private-etc alternatives,fonts | 42 | private-etc alternatives,fonts |
46 | # private-lib | ||
47 | private-tmp | 43 | private-tmp |
48 | 44 | ||
49 | # memory-deny-write-execute | ||
50 | noexec ${HOME} | 45 | noexec ${HOME} |
51 | noexec /tmp | 46 | noexec /tmp |