diff options
Diffstat (limited to 'etc/jerry.profile')
| -rw-r--r-- | etc/jerry.profile | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/etc/jerry.profile b/etc/jerry.profile index f6bfb9953..b79ae0ee0 100644 --- a/etc/jerry.profile +++ b/etc/jerry.profile | |||
| @@ -20,7 +20,6 @@ caps.drop all | |||
| 20 | machine-id | 20 | machine-id |
| 21 | net none | 21 | net none |
| 22 | no3d | 22 | no3d |
| 23 | nodbus | ||
| 24 | nodvd | 23 | nodvd |
| 25 | nogroups | 24 | nogroups |
| 26 | nonewprivs | 25 | nonewprivs |
| @@ -38,4 +37,7 @@ private-dev | |||
| 38 | private-etc fonts,gtk-2.0,gtk-3.0 | 37 | private-etc fonts,gtk-2.0,gtk-3.0 |
| 39 | private-tmp | 38 | private-tmp |
| 40 | 39 | ||
| 40 | dbus-user none | ||
| 41 | dbus-system none | ||
| 42 | |||
| 41 | memory-deny-write-execute | 43 | memory-deny-write-execute |