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
|
#! /bin/bash
# reboot FAI correctly, Thomas Lange, Uni Koeln, copyright 2000-2025
faimond=0
. /usr/lib/fai/subroutines
[ -f /tmp/fai/variables.log ] && . /tmp/fai/variables.log
while getopts s opt ; do
case "$opt" in
s) fai-savelog -r ;;
esac
done
cd /
killall -STOP fai
killall -q apt-get dpkg tar gzip yes cat rsyslogd
[ -z "$SSH_CLIENT" ] && [ "$TERM" != "dumb" ] && killall -q sshd
fai-divert -R
mountpoint -q $FAI_ROOT/proc && umount $FAI_ROOT/proc
mountpoint -q $FAI_ROOT/dev/pts && umount $FAI_ROOT/dev/pts
killall systemd-udevd
sendmon "TASKEND reboot 0"
umount -a -t nonfs,noproc 2>/dev/null
umount -arf 2>/dev/null
echo "$HOSTNAME now rebooting"
if [ -z "$SSH_CLIENT" ] && [ "$TERM" != "dumb" ]; then
exec reboot -df
fi
killall -CONT fai
killall fai
systemctl reboot &
|
