diff options
Diffstat (limited to 'etc/gnome-logs.profile')
-rw-r--r-- | etc/gnome-logs.profile | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/etc/gnome-logs.profile b/etc/gnome-logs.profile index 9ea4fb9f6..c7cbd8388 100644 --- a/etc/gnome-logs.profile +++ b/etc/gnome-logs.profile | |||
@@ -8,6 +8,7 @@ include globals.local | |||
8 | 8 | ||
9 | include disable-common.inc | 9 | include disable-common.inc |
10 | include disable-devel.inc | 10 | include disable-devel.inc |
11 | include disable-exec.inc | ||
11 | include disable-interpreters.inc | 12 | include disable-interpreters.inc |
12 | include disable-passwdmgr.inc | 13 | include disable-passwdmgr.inc |
13 | include disable-programs.inc | 14 | include disable-programs.inc |
@@ -46,8 +47,6 @@ private-tmp | |||
46 | writable-var-log | 47 | writable-var-log |
47 | 48 | ||
48 | memory-deny-write-execute | 49 | memory-deny-write-execute |
49 | noexec ${HOME} | ||
50 | noexec /tmp | ||
51 | 50 | ||
52 | # comment this if you export logs to a file in your ${HOME} | 51 | # comment this if you export logs to a file in your ${HOME} |
53 | read-only ${HOME} | 52 | read-only ${HOME} |