Mercurial > masqmail
annotate devel/update-manpage-date @ 354:08932c629849
reworked the route concept; removed the idea of the localnet
Renamed to reflect the actual meaning more clearly:
s/online_routes/query_routes/g
s/local_net_route/permanent_routes/g
Removed local_nets, which are now represented by allowed_recipients
in a permanent route. (See. examples/localnet.route)
There is no more abiguity between `local' and `local net'.
Run admin/config-transition on your config to learn how to update it.
author | markus schnalke <meillo@marmaro.de> |
---|---|
date | Sun, 04 Sep 2011 11:25:38 +0200 |
parents | 7b70bf4f1f42 |
children |
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 |