diff --git a/pkgs/additional/sane-scripts/src/sane-reboot b/pkgs/additional/sane-scripts/src/sane-reboot index 33820560..174723fb 100755 --- a/pkgs/additional/sane-scripts/src/sane-reboot +++ b/pkgs/additional/sane-scripts/src/sane-reboot @@ -7,8 +7,10 @@ shift host="$(hostname)" if [ "$host" = "$target" ] then - # N.B.: anything other than just `reboot` with no args requires `sudo` privilegs (to write to /run/systemd/) - reboot "$@" + # N.B.: anything other than just `reboot` with no args requires `sudo` privileges (to write to /run/systemd/). + # `systemctl reboot -i` tells systemd to ignore inhibitors (i.e. other users logged in). + reboot "$@" || \ + systemctl reboot -i "$@" else echo "WRONG MACHINE. you're on $host." exit 1