Change Gnome 3 logout script?

[stupendousomega]

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.

[rubberman]

Assuming your account is configured to use bash as the shell, then you need to edit ~/.bash_logout

[stupendousomega]

Ah, thank you very much. This works.