1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
|
#!/bin/bash --
# -*- Shell-script -*-
# File: updateWiki.sh
# Author: Johan Bevemyr
# Created: Fri May 16 22:06:00 2003
# Purpose: Update existing Wiki installations
progname=`basename $0`
function usage () {
cat <<EOF
usage: $progname [directories]
EOF
exit 1
}
wikisrc=%%wikisrcdir%%
suffix="."`date -I`
updategifs=
while [ x$updategifs = x ]; do
echo
echo -n "Do you want to replace the gifs in WikiPreferences.files?"\
"(yes or no) [no] "
read reply leftover
case $reply in
y* | Y*)
updategifs=1
;;
n* | N*)
updategifs=0
;;
esac
if [ x$reply = x ] ; then
updategifs=0
fi
done
function updateDir () {
if test -d $udir ; then
echo "updating $udir"
install -b -S $suffix $wikisrc/*.yaws $udir
install -b -S $suffix $wikisrc/*.wob $udir
if test '!' -d $udir/WikiPreferences.files ; then
mkdir $udir/WikiPreferences.files
fi
install -b -S $suffix $wikisrc/WikiPreferences.files/*.css \
$udir/WikiPreferences.files
install -b -S $suffix $wikisrc/WikiPreferences.files/*.html \
$udir/WikiPreferences.files
if [ $updategifs = 1 ]; then
install -b -S $suffix $wikisrc/WikiPreferences.files/*.gif \
$udir/WikiPreferences.files
install -b -S $suffix $wikisrc/WikiPreferences.files/*.png \
$udir/WikiPreferences.files
fi
else
echo "$progname: $udir is not a directory"
usage
fi
}
if test $# -lt 1 ; then
usage
fi
while test $# -gt 0 ; do
udir=$1
shift 1
updateDir
done
|
