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
|
#! /bin/bash
# $Id: faireboot 3027 2005-11-10 22:37:16Z lange $
# reboot FAI correctly, Thomas Lange, Uni Koeln, copyright 2000-2004
faimond=0
. /usr/share/fai/subroutines
. /usr/share/fai/subroutines-`uname -s | tr /A-Z/ /a-z/`
[ -f /tmp/fai/variables.sh ] && . /tmp/fai/variables.sh
while getopts s opt ; do
case "$opt" in
s) fai-savelog -r ;;
esac
done
cd /
killall -STOP rcS
killall -q apt-get dpkg tar gzip yes cat syslogd
[ "X" == "X$SSH_CLIENT" -a "$TERM" != "dumb" ] && killall -q sshd
fai-divert -R
umount $FAI_ROOT/proc $FAI_ROOT/dev/pts
umount -ar
sndmon "FAIREBOOT"
echo "$HOSTNAME now rebooting"
if [ "X" == "X$SSH_CLIENT" -a "$TERM" != "dumb" ]; then
exec reboot -dfi
else
killall -CONT rcS
killall rcS
init 6 &
fi
|
