I would suspect your guess is correct. Trisquel 7 Mini uses systemd- which takes over handling that sort of thing. As such, according to the last answer at https://superuser.com/questions/699905/change-behavior-of-linux-power-button, all you need to do is add the following line to /etc/systemd/logind.conf:
HandlePowerKey=ignore

Then reboot, and (hopefully) the power button should stop responding to short presses. Long presses will still kill the system, but I presume that's not an issue.

Reply via email to