Mercurial > masqmail
annotate devel/are-options-documented @ 421:f37384470855
Changed lockdir to /var/lock/masqmail; Create lockdir and piddir on startup.
Moved the lockdir out of the spool dir. (When /var/lock is a ramdisk
we do well to have the lock files there.) Added the new configure option
--with-lockdir to change that location. Nontheless, if we run_as_user,
then lock files are always stored in the spool dir directly.
Instead of installing the lockdir and piddir at installation time, we
create them on startup time now if they are missing. This is necessary
if lockdir or piddir are a tmpfs.
author | markus schnalke <meillo@marmaro.de> |
---|---|
date | Wed, 30 May 2012 09:38:38 +0200 |
parents | 4905a1d9e6a7 |
children |
rev | line source |
---|---|
140
867bb186a829
added a script that checks the documentation coverage of config options
meillo@marmaro.de
parents:
diff
changeset
|
1 #!/bin/sh |
867bb186a829
added a script that checks the documentation coverage of config options
meillo@marmaro.de
parents:
diff
changeset
|
2 # |
867bb186a829
added a script that checks the documentation coverage of config options
meillo@marmaro.de
parents:
diff
changeset
|
3 # checks if all recognized options are documented |
867bb186a829
added a script that checks the documentation coverage of config options
meillo@marmaro.de
parents:
diff
changeset
|
4 # run from masqmail's repository root dir |
867bb186a829
added a script that checks the documentation coverage of config options
meillo@marmaro.de
parents:
diff
changeset
|
5 # |
867bb186a829
added a script that checks the documentation coverage of config options
meillo@marmaro.de
parents:
diff
changeset
|
6 # Note: this script is far from perfect, but its development time to |
867bb186a829
added a script that checks the documentation coverage of config options
meillo@marmaro.de
parents:
diff
changeset
|
7 # usage value ratio is quite good :-) |
867bb186a829
added a script that checks the documentation coverage of config options
meillo@marmaro.de
parents:
diff
changeset
|
8 |
867bb186a829
added a script that checks the documentation coverage of config options
meillo@marmaro.de
parents:
diff
changeset
|
9 docs="/tmp/masqmail-opts-docs.$$" |
867bb186a829
added a script that checks the documentation coverage of config options
meillo@marmaro.de
parents:
diff
changeset
|
10 code="/tmp/masqmail-opts-code.$$" |
867bb186a829
added a script that checks the documentation coverage of config options
meillo@marmaro.de
parents:
diff
changeset
|
11 |
867bb186a829
added a script that checks the documentation coverage of config options
meillo@marmaro.de
parents:
diff
changeset
|
12 cat man/masqmail.*.5 | grep -o '^\\fB[^(\\]*\\f.' | |
867bb186a829
added a script that checks the documentation coverage of config options
meillo@marmaro.de
parents:
diff
changeset
|
13 egrep -v 'OBSOLETE|http://' | sed 's,^\\fB,,; s,[\\ =].*,,' | |
867bb186a829
added a script that checks the documentation coverage of config options
meillo@marmaro.de
parents:
diff
changeset
|
14 sort -u | grep -v '^val$' >"$docs" |
867bb186a829
added a script that checks the documentation coverage of config options
meillo@marmaro.de
parents:
diff
changeset
|
15 |
867bb186a829
added a script that checks the documentation coverage of config options
meillo@marmaro.de
parents:
diff
changeset
|
16 cat src/conf.c | grep 'lval,.*"' | |
867bb186a829
added a script that checks the documentation coverage of config options
meillo@marmaro.de
parents:
diff
changeset
|
17 sed 's,[^"]*",,; s,"\, [0-9]*,",; s,".*,,' | sort -u >"$code" |
867bb186a829
added a script that checks the documentation coverage of config options
meillo@marmaro.de
parents:
diff
changeset
|
18 |
352
4905a1d9e6a7
minor improvement of output of devel/are-options-documented
markus schnalke <meillo@marmaro.de>
parents:
226
diff
changeset
|
19 diff -U 0 "$code" "$docs" | grep -v '^@@' | |
4905a1d9e6a7
minor improvement of output of devel/are-options-documented
markus schnalke <meillo@marmaro.de>
parents:
226
diff
changeset
|
20 sed 's/^---.*/--- code/;s/^+++.*/+++ docs/' |
140
867bb186a829
added a script that checks the documentation coverage of config options
meillo@marmaro.de
parents:
diff
changeset
|
21 |
867bb186a829
added a script that checks the documentation coverage of config options
meillo@marmaro.de
parents:
diff
changeset
|
22 rm -f "$docs" "$code" |