diff options
| author |  glitsj16 <glitsj16@users.noreply.github.com> | 2019-02-20 22:53:14 +0000 |
|---|---|---|
| committer |  GitHub <noreply@github.com> | 2019-02-20 22:53:14 +0000 |
| commit | d15fa8fc2c5a245cb7698c0bfa3e9838bdbb6dd6 (patch) | |
| tree | bc5008b7185f6d3f15b820e3ec8cf04406b17f4f /etc/devilspie.profile | |
| parent | Merge pull request #2428 from glitsj16/assogiate (diff) | |
| download | firejail-d15fa8fc2c5a245cb7698c0bfa3e9838bdbb6dd6.tar.gz firejail-d15fa8fc2c5a245cb7698c0bfa3e9838bdbb6dd6.tar.zst firejail-d15fa8fc2c5a245cb7698c0bfa3e9838bdbb6dd6.zip | |
Harden devilspie profile
Diffstat (limited to 'etc/devilspie.profile')
| -rw-r--r-- | etc/devilspie.profile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/etc/devilspie.profile b/etc/devilspie.profile index a809bee0c..d0a1ccf41 100644 --- a/etc/devilspie.profile +++ b/etc/devilspie.profile | |||
| @@ -13,9 +13,12 @@ include disable-devel.inc | |||
| 13 | include disable-interpreters.inc | 13 | include disable-interpreters.inc |
| 14 | include disable-passwdmgr.inc | 14 | include disable-passwdmgr.inc |
| 15 | include disable-programs.inc | 15 | include disable-programs.inc |
| 16 | include disable-xdg.inc | ||
| 16 | 17 | ||
| 18 | apparmor | ||
| 17 | caps.drop all | 19 | caps.drop all |
| 18 | ipc-namespace | 20 | ipc-namespace |
| 21 | # machine-id breaks audio; it should work fine in setups where sound is not required | ||
| 19 | machine-id | 22 | machine-id |
| 20 | net none | 23 | net none |
| 21 | no3d | 24 | no3d |