diff options
Diffstat (limited to 'etc/gedit.profile')
-rw-r--r-- | etc/gedit.profile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/etc/gedit.profile b/etc/gedit.profile index c383a5675..b53c317a3 100644 --- a/etc/gedit.profile +++ b/etc/gedit.profile | |||
@@ -37,7 +37,8 @@ tracelog | |||
37 | # private-bin gedit | 37 | # private-bin gedit |
38 | private-dev | 38 | private-dev |
39 | # private-etc fonts | 39 | # private-etc fonts |
40 | private-lib gedit | 40 | # private-lib prevents launching on some distros |
41 | #private-lib gedit | ||
41 | private-tmp | 42 | private-tmp |
42 | 43 | ||
43 | noexec ${HOME} | 44 | noexec ${HOME} |