diff options
Diffstat (limited to 'etc/gedit.profile')
-rw-r--r-- | etc/gedit.profile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/etc/gedit.profile b/etc/gedit.profile index d7ac6d36c..67ea43ca3 100644 --- a/etc/gedit.profile +++ b/etc/gedit.profile | |||
@@ -38,7 +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 /usr/bin/gedit,libtinfo.so.5,libreadline.so.7,gedit,libgspell-1.so.1,gconv,aspell | 41 | private-lib /usr/bin/gedit,libtinfo.so.*,libreadline.so.*,gedit,libgspell-1.so.*,gconv,aspell |
42 | private-tmp | 42 | private-tmp |
43 | 43 | ||
44 | noexec ${HOME} | 44 | noexec ${HOME} |