I would like any user's GUI session to be logged out in 15 minutes of inactivity. stock Ubuntu Desktop 18.04 (gnome, systemd, etc). The optimal solution is native (shell script, built in file setting, etc), and not from a PPA (gov space restrictions).
I am aware of How do I restrict my kids' computing time?, but this question addresses a specific time-of-day, not inactivity.