diff options
Diffstat (limited to 'etc/shellcheck.profile')
-rw-r--r-- | etc/shellcheck.profile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/etc/shellcheck.profile b/etc/shellcheck.profile index b8974e416..da5b4258b 100644 --- a/etc/shellcheck.profile +++ b/etc/shellcheck.profile | |||
@@ -35,6 +35,7 @@ novideo | |||
35 | protocol unix | 35 | protocol unix |
36 | seccomp | 36 | seccomp |
37 | shell none | 37 | shell none |
38 | x11 none | ||
38 | 39 | ||
39 | private-dev | 40 | private-dev |
40 | private-tmp | 41 | private-tmp |