diff options
| -rw-r--r-- | debian/zsh-common.lintian-overrides | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/debian/zsh-common.lintian-overrides b/debian/zsh-common.lintian-overrides index d63f253bc..1e6ce15d8 100644 --- a/debian/zsh-common.lintian-overrides +++ b/debian/zsh-common.lintian-overrides @@ -5,3 +5,5 @@ 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] |