Eu tenho a seguinte solução de linha de comando simples como resposta à minha pergunta:
Quando meu filho (Adam) se deixa logado, eu digito isso:
sudo skill -TERM -u adam
Ao olhar para "habilidade do homem", ele diz:
Essas ferramentas provavelmente são obsoletas e não são portáteis. A sintaxe do comando está mal definida. Considere usar os comandos killall, pkill e pgrep.
Talvez a melhor solução:
sudo killall -TERM -u adam
Estes comandos não são exatamente o que eu tinha em mente, mas é rápido e fácil de fazer e funciona perfeitamente para fechar uma sessão deixada logada por outro usuário. Uma simples solução GUI seria legal.