diff options
-rw-r--r-- | etc/xed.profile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/etc/xed.profile b/etc/xed.profile index bb8b0bf23..b80d02948 100644 --- a/etc/xed.profile +++ b/etc/xed.profile | |||
@@ -35,6 +35,7 @@ private-dev | |||
35 | # private-etc fonts | 35 | # private-etc fonts |
36 | private-tmp | 36 | private-tmp |
37 | 37 | ||
38 | memory-deny-write-execute | 38 | # xed uses python plugins, memory-deny-write-execute breaks python |
39 | # memory-deny-write-execute | ||
39 | noexec ${HOME} | 40 | noexec ${HOME} |
40 | noexec /tmp | 41 | noexec /tmp |