diff options
Diffstat (limited to 'etc/shellcheck.profile')
| -rw-r--r-- | etc/shellcheck.profile | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/etc/shellcheck.profile b/etc/shellcheck.profile index fb43c61e4..6cd70c2ea 100644 --- a/etc/shellcheck.profile +++ b/etc/shellcheck.profile | |||
| @@ -30,7 +30,6 @@ ipc-namespace | |||
| 30 | machine-id | 30 | machine-id |
| 31 | net none | 31 | net none |
| 32 | no3d | 32 | no3d |
| 33 | nodbus | ||
| 34 | nodvd | 33 | nodvd |
| 35 | nogroups | 34 | nogroups |
| 36 | nonewprivs | 35 | nonewprivs |
| @@ -49,4 +48,7 @@ private-cache | |||
| 49 | private-dev | 48 | private-dev |
| 50 | private-tmp | 49 | private-tmp |
| 51 | 50 | ||
| 51 | dbus-user none | ||
| 52 | dbus-system none | ||
| 53 | |||
| 52 | memory-deny-write-execute | 54 | memory-deny-write-execute |