chiark / gitweb /
~mdw / profile / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 5078756)
dot/xsession: Wipe out our process group on exit.
authorMark Wooding <mdw@distorted.org.uk>
Sat, 21 Jul 2018 00:46:05 +0000 (01:46 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Sat, 21 Jul 2018 01:02:38 +0000 (02:02 +0100)
There may be other random hangers on which ought to die when we do.

dot/xsession patch | blob | blame | history

diff --git a/dot/xsession b/dot/xsession
index af2cd7c148887063934b8dbe8a7ca7358715e3d3..9b3242de1e3b2adeb10d4d3de7795e4e6ce6f3e3 100755 (executable)
--- a/dot/xsession
+++ b/dot/xsession
@@ -6,3 +6,4 @@ __mdw_force_secure_session=yes
 . "$HOME/.profile"
 "$HOME/.xinitrc"
 . "$HOME/.shell-logout"
+kill -TERM -$$
Dotfiles and other configuration.