annotate misc/are-options-documented @ 156:ee2afbf92428
require host_name to be set in config file
exit otherwise
there is no portable way to determine the hostname
(actually the hostname that masqmail should use)
thus it must be set by the administrator
author |
meillo@marmaro.de |
date |
Thu, 08 Jul 2010 09:49:05 +0200 |
parents |
|
children |
|
rev |
line source |
meillo@140
|
1 #!/bin/sh
|
meillo@140
|
2 #
|
meillo@140
|
3 # checks if all recognized options are documented
|
meillo@140
|
4 # run from masqmail's repository root dir
|
meillo@140
|
5 #
|
meillo@140
|
6 # Note: this script is far from perfect, but its development time to
|
meillo@140
|
7 # usage value ratio is quite good :-)
|
meillo@140
|
8
|
meillo@140
|
9 docs="/tmp/masqmail-opts-docs.$$"
|
meillo@140
|
10 code="/tmp/masqmail-opts-code.$$"
|
meillo@140
|
11
|
meillo@140
|
12 cat man/masqmail.*.5 | grep -o '^\\fB[^(\\]*\\f.' |
|
meillo@140
|
13 egrep -v 'OBSOLETE|http://' | sed 's,^\\fB,,; s,[\\ =].*,,' |
|
meillo@140
|
14 sort -u | grep -v '^val$' >"$docs"
|
meillo@140
|
15
|
meillo@140
|
16 cat src/conf.c | grep 'lval,.*"' |
|
meillo@140
|
17 sed 's,[^"]*",,; s,"\, [0-9]*,",; s,".*,,' | sort -u >"$code"
|
meillo@140
|
18
|
meillo@140
|
19 diff -U 0 "$code" "$docs" | grep -v '^@@'
|
meillo@140
|
20
|
meillo@140
|
21 rm -f "$docs" "$code"
|