/usr/sbin/faireboot is in fai-nfsroot 5.0.3ubuntu1.
This file is owned by root:root, with mode 0o755.
The actual contents of the file can be viewed below.
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-2015
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 rcS
killall -q apt-get dpkg tar gzip yes cat rsyslogd
[ "X" == "X$SSH_CLIENT" -a "$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 udevd
sendmon "TASKEND reboot 0"
umount -a -t nonfs,noproc 2>/dev/null
umount -arf 2>/dev/null
echo "$HOSTNAME now rebooting"
if [ "X" == "X$SSH_CLIENT" -a "$TERM" != "dumb" ]; then
exec reboot -df
fi
killall -CONT rcS
killall rcS
init 6 &
|