#!/bin/bash

# reboot and keep disks encrypted.
touch /tmp/keyscript-off
[[ $EUID == 0 ]] || s=sudo
$s reboot "$@"