diff options
author | 2019-02-20 23:02:46 +0000 | |
---|---|---|
committer | 2019-02-20 23:02:46 +0000 | |
commit | cce2606ea15c42fb64d22681fbe3e1ebfb0b2ceb (patch) | |
tree | 0a999a18da0a2cfd1fe732f6c41436db0715a5e8 | |
parent | Merge pull request #2435 from glitsj16/devilspies (diff) | |
download | firejail-cce2606ea15c42fb64d22681fbe3e1ebfb0b2ceb.tar.gz firejail-cce2606ea15c42fb64d22681fbe3e1ebfb0b2ceb.tar.zst firejail-cce2606ea15c42fb64d22681fbe3e1ebfb0b2ceb.zip |
Add machine-id comment
-rw-r--r-- | etc/devilspie2.profile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/etc/devilspie2.profile b/etc/devilspie2.profile index fbf765fa2..147a7ed93 100644 --- a/etc/devilspie2.profile +++ b/etc/devilspie2.profile | |||
@@ -18,6 +18,7 @@ include disable-xdg.inc | |||
18 | apparmor | 18 | apparmor |
19 | caps.drop all | 19 | caps.drop all |
20 | ipc-namespace | 20 | ipc-namespace |
21 | # machine-id breaks audio; it should work fine in setups where sound is not required | ||
21 | machine-id | 22 | machine-id |
22 | net none | 23 | net none |
23 | no3d | 24 | no3d |