Rusty Russell
7 years ago
2 changed files with 44 additions and 0 deletions
@ -0,0 +1,39 @@ |
|||||
|
#! /bin/bash |
||||
|
# Needs bash for process substitition, ie <( |
||||
|
|
||||
|
if [ $# != 2 ]; then |
||||
|
echo "Usage $0 <command> <asciidoc.txt>" >&2 |
||||
|
exit 1 |
||||
|
fi |
||||
|
|
||||
|
get_cmd_opts() |
||||
|
{ |
||||
|
# Trim out -- after first one (--option mentioned in help!) |
||||
|
$1 --help | grep '^-' | sed 's/[ ].*--.*//' | while IFS=$'\n' read -r opt; do |
||||
|
case "$opt" in |
||||
|
# We don't document dev options. |
||||
|
--dev*) |
||||
|
;; |
||||
|
--*=*|--*' <arg>'*) |
||||
|
echo "${opt%%[ =]*}=" | cut -c3- |
||||
|
;; |
||||
|
--*) |
||||
|
echo "${opt%%[ |]*}" | cut -c3- |
||||
|
;; |
||||
|
-*\|--*) |
||||
|
opt=${opt##*|} |
||||
|
echo "${opt%%[ |]*}" | cut -c3- |
||||
|
esac |
||||
|
done |
||||
|
} |
||||
|
|
||||
|
CMD_OPTNAMES=$(get_cmd_opts "$1" | sort) |
||||
|
|
||||
|
# Now, gather (long) opt names from man page, make sure they match. |
||||
|
MAN_OPTNAMES=$(sed -n 's/^\*\(--\)\?\([^*/]*\)\*\(=\?\).*::/\2\3/p' < "$2" | sort) |
||||
|
|
||||
|
if [ "$CMD_OPTNAMES" != "$MAN_OPTNAMES" ]; then |
||||
|
echo "diff of command names vs manpage names": |
||||
|
diff -u <(echo "$CMD_OPTNAMES") <(echo "$MAN_OPTNAMES") |
||||
|
exit 2 |
||||
|
fi |
Loading…
Reference in new issue