You can copy this to a http server, then wget -O- url|sudo bash
curl is sometimes not preinstalled on a live cd.
-This has been tested on trisquel belenos and ubuntu xenial.
+This has been tested on trisquel belenos and ubuntu xenial & 18.10.
+With 18.10 on an x200, kexec was unreliable, resulting in freezes and
+kernel panics.
If the screen just sits in a weird color inverted, corrupted looking state,
it's probably nothing wrong with the computer, but a problem
# add universe, pxe-kexec is there
sed -ri '/^\s*deb/{/universe/!s/$/ universe/}' /etc/apt/sources.list
fi
-if ! type -p pxe-kexec &>/dev/null; then
+if ! type -p pxe-kexec >/dev/null 2>&1; then
apt-get update
apt-get install -y debconf
debconf-set-selections <<EOF