From 98a4d7db42bc8d9d8279d10d2ee1c4988cfae9c9 Mon Sep 17 00:00:00 2001 From: Fred-Barclay Date: Fri, 20 Oct 2017 10:09:30 -0500 Subject: 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. --- etc/pluma.profile | 1 + 1 file changed, 1 insertion(+) (limited to 'etc/pluma.profile') 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 private-bin pluma private-dev # private-etc fonts +private-lib pluma private-tmp memory-deny-write-execute -- cgit v1.2.3-54-g00ecf