diff options
| author |  Fred-Barclay <Fred-Barclay@users.noreply.github.com> | 2017-10-20 10:09:30 -0500 |
|---|---|---|
| committer | Fred-Barclay <Fred-Barclay@users.noreply.github.com> | 2017-10-20 10:09:30 -0500 |
| commit | 98a4d7db42bc8d9d8279d10d2ee1c4988cfae9c9 (patch) | |
| tree | ca4280797c412b8cdd124d23fb635f8d27474b58 /etc/pluma.profile | |
| parent | Merge branch 'master' of http://github.com/netblue30/firejail (diff) | |
| download | firejail-98a4d7db42bc8d9d8279d10d2ee1c4988cfae9c9.tar.gz firejail-98a4d7db42bc8d9d8279d10d2ee1c4988cfae9c9.tar.zst firejail-98a4d7db42bc8d9d8279d10d2ee1c4988cfae9c9.zip | |
Add private-lib to gedit and pluma.
Note that on Arch at least, pluma starts without problems even
if the private-lib filter is empty, while gedit requires
`private-lib gedit`.
We can probably do something similar for xed.
Diffstat (limited to 'etc/pluma.profile')
| -rw-r--r-- | etc/pluma.profile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/etc/pluma.profile b/etc/pluma.profile index 56786fda7..3fa6d3494 100644 --- a/etc/pluma.profile +++ b/etc/pluma.profile | |||
| @@ -33,6 +33,7 @@ tracelog | |||
| 33 | private-bin pluma | 33 | private-bin pluma |
| 34 | private-dev | 34 | private-dev |
| 35 | # private-etc fonts | 35 | # private-etc fonts |
| 36 | private-lib pluma | ||
| 36 | private-tmp | 37 | private-tmp |
| 37 | 38 | ||
| 38 | memory-deny-write-execute | 39 | memory-deny-write-execute |