7/20    I using Gnome/Ubuntu.  I would like to have it autologout after about
        30 minutes of use.  (Even if it's stil lbeing used.) Is there some way
        to do this?  (Sort of like what happens at the library.)
        \_ Sure. Write some code to kill the session after 30 minutes.