Resetting "forcibly" by hitting Ctrl+Alt+Del more than seven times within two
seconds used to work. Now I only get a message about it, but nothing happens.
The reason I need to reset the machine like that is that simply choosing
the "Restart" option inside GNOME Shell runs into annoying systemd timeouts
while waiting for jobs, such as user manager. That takes much too long.
Show replies by thread