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
|
#!/bin/sh
# post install script for Debian GNU/Linux rbootd package
set -e
## install startup files
update-rc.d rbootd defaults >/dev/null
/etc/init.d/rbootd stop
/etc/init.d/rbootd start
## Handle the old FSSND style documentation change over
if [ "$1" = "configure" ]; then
if [ -d /usr/doc -a ! -e /usr/doc/rbootd -a -d /usr/share/doc/rbootd ]; then
ln -sf ../share/doc/rbootd /usr/doc/rbootd
fi
if [ ! -z $2 ]; then
if dpkg --compare-versions $2 le 2.0-3; then
echo "This version of rbootd now stores its boot images in /var/lib/rbootd"
echo "and not in /usr/local/lib/rbootd. Debian policy prevents the package"
echo "from making changes in /usr/local/lib, so you should move all your"
echo "boot files from there to /var/lib/rbootd; then run"
echo "/etc/init.d/rbootd restart"
fi
fi
fi
|
