Appendix A. The file /linuxrc for initial boot

#!/bin/sh

PATH=''

run() {
    local message
    if message="`$* 2>&1`"
    then
	echo 'done'
#	echo "$message"
        return 0
    else
	echo 'failed'
	echo "$message"
        return 1
    fi
}

echo -n 'Synchronizing time ........................................... '
run '/bin/ntpdate -b 129.125.35.10'
while [ $? -ne 0 ]; do
    sleep 10
    echo -n 'Synchronizing time ....................................... '
    run '/bin/ntpdate -b 129.125.35.10'
done

echo -n 'Mounting /proc file system ................................... '
run '/bin/mount /proc'
while [ ! -f /proc/version ]
do
    sleep 10
    echo -n 'Mounting /proc file system................................ '
    run '/bin/mount /proc'
done

echo -n 'Mounting /usr on medusa.chem.rug.nl .......................... '
run '/bin/mount /usr'
while [ ! -f /usr/linuxrc ]
do
    sleep 10
    echo -n 'Mounting /usr on medusa.chem.rug.nl ...................... '
    run '/bin/mount /usr'
done

/usr/linuxrc

cd /
echo -n 'Unmounting /usr from medusa.chem.rug.nl ...................... '
run '/bin/umount /usr'
while [ -f /usr/linuxrc ]
do
    sleep 10
    echo -n 'Unmounting /usr from medusa.chem.rug.nl .................. '
    run '/bin/umount /usr'
done

cd /
echo -n 'Unmounting /proc ............................................. '
run '/bin/umount /proc'
while [ -f /proc/version ]
do
    sleep 10
    echo -n 'Unmounting /proc ......................................... '
    run '/bin/umount /proc'
done