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
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
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"