diff options
Diffstat (limited to 'debian/zsh-common.lintian-overrides')
| -rw-r--r-- | debian/zsh-common.lintian-overrides | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/debian/zsh-common.lintian-overrides b/debian/zsh-common.lintian-overrides new file mode 100644 index 000000000..1c84e8244 --- /dev/null +++ b/debian/zsh-common.lintian-overrides @@ -0,0 +1,9 @@ +zsh-common: menu-command-not-in-package bin/zsh [usr/share/menu/zsh-common:1] +zsh-common: pkg-not-in-package-test zsh [usr/share/menu/zsh-common:1] +# Clearly a false positive: +zsh-common: extra-license-file [usr/share/zsh/functions/Completion/BSD.zwc] +# Of course they aren't their own commands, but you don't want to have +# one thousands lines man page like bash has... +zsh-common: spare-manual-page [usr/share/man/man1/zsh*.1.gz] +# False positive, guarded by check if the running shell is zsh +zsh-common: bash-term-in-posix-shell '[[' [usr/share/doc/zsh-common/examples/Misc/c2z:53] |