path: root/update.sh

#!/bin/bash
# Script run when a machine boots. (Always this
# latest version from Git).
set -eu

touch /root/at-boot-worked

# Override default /etc/ with the one from this Git.
cp -r /root/grid5k/etc/* /etc

exit 0