From af8d0000a3cffcd0f6b5e017c35c5679ce7bf661 Mon Sep 17 00:00:00 2001 From: Elizabeth Myers Date: Thu, 28 Sep 2023 18:31:26 -0400 Subject: [PATCH] Update linter docs Signed-off-by: Elizabeth Myers --- docs/LINTER.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/docs/LINTER.md b/docs/LINTER.md index f27751069..67c57a0a4 100644 --- a/docs/LINTER.md +++ b/docs/LINTER.md @@ -9,7 +9,8 @@ The available linters are: - `dev`: If this package is creating /dev nodes, it should use udev instead; otherwise, remove any files in /dev. - `opt`: This package should be a -compat package (see below) - `setuidgid`: Unset the setuid/setgid bit on the relevant files, or remove this linter. -- `srv`: This s package should be a -compat package (see below) +- `srv`: This package should be a -compat package (see below) +- `strip`: Ensure the binary is stripped in the pipeline. - `tempdir`: Remove any offending files in temporary dirs in the pipeline. - `usrlocal`: This package should be a -compat package (see below) - `varempty`: Remove any offending files in /var/empty in the pipeline.