diff options
Diffstat (limited to 'etc/gedit.profile')
-rw-r--r-- | etc/gedit.profile | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/etc/gedit.profile b/etc/gedit.profile index 62c923f6b..d7ac6d36c 100644 --- a/etc/gedit.profile +++ b/etc/gedit.profile | |||
@@ -38,8 +38,7 @@ tracelog | |||
38 | # private-bin gedit | 38 | # private-bin gedit |
39 | private-dev | 39 | private-dev |
40 | # private-etc fonts | 40 | # private-etc fonts |
41 | # private-lib temporarily disabled pending code fixes | 41 | private-lib /usr/bin/gedit,libtinfo.so.5,libreadline.so.7,gedit,libgspell-1.so.1,gconv,aspell |
42 | #private-lib gedit,libgspell-1.so.1,gconv,aspell | ||
43 | private-tmp | 42 | private-tmp |
44 | 43 | ||
45 | noexec ${HOME} | 44 | noexec ${HOME} |