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 |