dot/xinitrc: Shut down the Gnome session properly on exit.
authorMark Wooding <mdw@distorted.org.uk>
Thu, 2 Jun 2011 15:00:20 +0000 (16:00 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Thu, 2 Jun 2011 15:05:58 +0000 (16:05 +0100)
commit8ca91005bcad285426003ddbd2c3f1553ab21b90
treef18dedcd1df344c32bb001bf93fe6ace2464f2d5
parent6f6bd6daee43fc16b124a9591b76bd60bc91d6d1
dot/xinitrc: Shut down the Gnome session properly on exit.

This seems kinder to the various random Gnomey bits of desktop.  I was
hoping that it would persuade Tracker to leave its databases in a good
state, but that doesn't seem to happen.  Oh, well.
dot/xinitrc