On Fri, 2023-03-24 at 22:27 +0000, Patrick O'Callaghan wrote:
This appears to be Gnome-specific. Presumably equivalents exist for those of us who use other DEs, but it would be interesting if a generic solution existed.
Would those other desktop environments be using gnome-screensaver?