diff options
| author | Rob N <[email protected]> | 2023-03-02 04:38:31 +1100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2023-03-01 09:38:31 -0800 |
| commit | 25c4d1f0321532e33f979b810b0535059122e8b7 (patch) | |
| tree | ddf8c81f2c67bbfcfc4be362a6c0cfbbb52b3477 /scripts | |
| parent | 4fe9cc54374479652aed431f54c44bb209f6635f (diff) | |
mancheck: exclude dotfiles in man dir
Its not uncommon for an editor to drop a hidden swap file in the dir
while editing a file there. mancheck would find it and run mandoc on it,
which would complain about its distinctly not-manpage format.
A more correct solution might be to reconfigure the editor to not put
swap files in the same dir, but its the default a lot of the time, and
this is a very small change that gives a very nice quality-of-life
improvement.
Reviewed-by: Richard Yao <[email protected]>
Reviewed-by: Brian Behlendorf <[email protected]>
Signed-off-by: Rob Norris <[email protected]>
Closes #14549
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/mancheck.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/mancheck.sh b/scripts/mancheck.sh index 347b2e086..364ad1b76 100755 --- a/scripts/mancheck.sh +++ b/scripts/mancheck.sh @@ -27,7 +27,7 @@ fi IFS=" " -files="$(find "$@" -type f -name '*[1-9]*')" || exit 1 +files="$(find "$@" -type f -name '*[1-9]*' -not -name '.*')" || exit 1 add_excl="$(awk ' /^.\\" lint-ok:/ { |