#!/bin/sh

echo "Adding reboot option." >&2

cat << EOF
menuentry 'Reboot' --class tool --id reboot {
	reboot
}
EOF