annotate devel/update-manpage-date @ 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 7b70bf4f1f42
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
182
0976977ccc52 added a development helper script to update the date and version in man pages
meillo@marmaro.de
parents:
diff changeset
1 #!/bin/sh
0976977ccc52 added a development helper script to update the date and version in man pages
meillo@marmaro.de
parents:
diff changeset
2 #
0976977ccc52 added a development helper script to update the date and version in man pages
meillo@marmaro.de
parents:
diff changeset
3 # update the date and version of man pages
0976977ccc52 added a development helper script to update the date and version in man pages
meillo@marmaro.de
parents:
diff changeset
4
0976977ccc52 added a development helper script to update the date and version in man pages
meillo@marmaro.de
parents:
diff changeset
5 if [ $# -lt 2 ] ; then
0976977ccc52 added a development helper script to update the date and version in man pages
meillo@marmaro.de
parents:
diff changeset
6 echo "usage: update-manpage-header VERSION FILES..." >&2
0976977ccc52 added a development helper script to update the date and version in man pages
meillo@marmaro.de
parents:
diff changeset
7 exit 1
0976977ccc52 added a development helper script to update the date and version in man pages
meillo@marmaro.de
parents:
diff changeset
8 fi
0976977ccc52 added a development helper script to update the date and version in man pages
meillo@marmaro.de
parents:
diff changeset
9
0976977ccc52 added a development helper script to update the date and version in man pages
meillo@marmaro.de
parents:
diff changeset
10
0976977ccc52 added a development helper script to update the date and version in man pages
meillo@marmaro.de
parents:
diff changeset
11 date=`date +%Y-%m-%d`
0976977ccc52 added a development helper script to update the date and version in man pages
meillo@marmaro.de
parents:
diff changeset
12
0976977ccc52 added a development helper script to update the date and version in man pages
meillo@marmaro.de
parents:
diff changeset
13 version="$1"
0976977ccc52 added a development helper script to update the date and version in man pages
meillo@marmaro.de
parents:
diff changeset
14 shift
0976977ccc52 added a development helper script to update the date and version in man pages
meillo@marmaro.de
parents:
diff changeset
15
0976977ccc52 added a development helper script to update the date and version in man pages
meillo@marmaro.de
parents:
diff changeset
16 for i do
0976977ccc52 added a development helper script to update the date and version in man pages
meillo@marmaro.de
parents:
diff changeset
17 ed -s "$i" <<!
0976977ccc52 added a development helper script to update the date and version in man pages
meillo@marmaro.de
parents:
diff changeset
18 /^\.TH/s#[0-9]\{4\}-[0-9]\{2\}-[0-9]\{2\}#$date#
0976977ccc52 added a development helper script to update the date and version in man pages
meillo@marmaro.de
parents:
diff changeset
19 s#[0-9]\{1,\}\.[0-9]\{1,\}\.[0-9]\{1,\}#$version#
0976977ccc52 added a development helper script to update the date and version in man pages
meillo@marmaro.de
parents:
diff changeset
20 p
0976977ccc52 added a development helper script to update the date and version in man pages
meillo@marmaro.de
parents:
diff changeset
21 w
0976977ccc52 added a development helper script to update the date and version in man pages
meillo@marmaro.de
parents:
diff changeset
22 q
0976977ccc52 added a development helper script to update the date and version in man pages
meillo@marmaro.de
parents:
diff changeset
23 !
0976977ccc52 added a development helper script to update the date and version in man pages
meillo@marmaro.de
parents:
diff changeset
24 done