diff options
Diffstat (limited to 'etc/kate.profile')
| -rw-r--r-- | etc/kate.profile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/etc/kate.profile b/etc/kate.profile index a3d2be6b2..5042077e5 100644 --- a/etc/kate.profile +++ b/etc/kate.profile | |||
| @@ -42,4 +42,7 @@ private-dev | |||
| 42 | # private-etc fonts,kde4rc,kde5rc,ld.so.cache,machine-id,xdg | 42 | # private-etc fonts,kde4rc,kde5rc,ld.so.cache,machine-id,xdg |
| 43 | private-tmp | 43 | private-tmp |
| 44 | 44 | ||
| 45 | # noexec ${HOME} | ||
| 46 | noexec /tmp | ||
| 47 | |||
| 45 | join-or-start kate | 48 | join-or-start kate |