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} |