@omni @widget To turn the system down, he has to press the power button on the laptop. I already found out how to configure systemd to listen to ACPI events (was quite easy, actually, just uncommenting a line).