Alright, so... I'm using Gnome 3, and when I click logout in the top-right corner, it takes FOREVER to log out... If it logs out at all. I don't know what takes it so long, but it's ridiculous. What I want to do is find the script it runs and change it to
pkill -KILL -u $USER
That's what I've been typing into a terminal window to log out lately, because it makes it log out instantly. Not over the course of a year. Any help? I can't find it...
I'm running Arch Linux, if it makes a difference.