diff options
| author | Axel Beckert <abe@deuxchevaux.org> | 2021-12-30 15:56:23 +0100 |
|---|---|---|
| committer | Axel Beckert <abe@deuxchevaux.org> | 2021-12-30 15:56:23 +0100 |
| commit | cf14eeb5dd2667dffd2f4ded7bbd9e0d103c0bfa (patch) | |
| tree | aadd56bcfc11e003e35dab7b24bbe6e24abfd6ce /debian | |
| parent | 2f5cd2e12ef3d9cfddb4063fb7d0d72a1ae64f32 (diff) | |
| download | zsh-cf14eeb5dd2667dffd2f4ded7bbd9e0d103c0bfa.tar.gz zsh-cf14eeb5dd2667dffd2f4ded7bbd9e0d103c0bfa.zip | |
Add lintian override for bash-term-in-posix-shell
It's zsh code and it's guarded by a check if we're running zsh or not.
Gbp-Dch: Full
Diffstat (limited to 'debian')
| -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] |