31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
|
error ()
{
echo $0: error: ${1:-"unknown error"} - aborting.
exit 1
}
# should be root for some of these commands
if [ ! `whoami` = "root" ]; then
echo root password required
exec su -p -c "$0 $*"
error "root authorisation failed"
fi
# use -email and -name to change
DEBFULLNAME=${DEBFULLNAME:-"Geraint Paul Bevan"}
DEBEMAIL=${DEBEMAIL:-"geraint@users.sourceforge.net"}
# default switches
default_sources="sourceforge"
default_logtext="snapshot from ${default_sources}."
|
<
<
<
<
<
<
<
|
31
32
33
34
35
36
37
38
39
40
41
42
43
44
|
error ()
{
echo $0: error: ${1:-"unknown error"} - aborting.
exit 1
}
# use -email and -name to change
DEBFULLNAME=${DEBFULLNAME:-"Geraint Paul Bevan"}
DEBEMAIL=${DEBEMAIL:-"geraint@users.sourceforge.net"}
# default switches
default_sources="sourceforge"
default_logtext="snapshot from ${default_sources}."
|