dot/xinitrc: Restart window manager if it crashes.
authorMark Wooding <mwooding@good.com>
Fri, 13 Dec 2013 19:03:05 +0000 (19:03 +0000)
committerMark Wooding <mwooding@good.com>
Fri, 13 Dec 2013 19:08:14 +0000 (19:08 +0000)
commit74bd743a2f7a7b36d5947a8b1a623aca33f40c9d
treef44f2b69086a991cd01b2a2d45b88e7909019460
parente6569a2f66bea072d600d88f150809412ade8033
dot/xinitrc: Restart window manager if it crashes.

For some reason, e16 sometimes crashes and leaves the input focus in a
broken state.  Restarting the window manager, e.g., from a console,
makes everything work again, but it's annoying.

Introduce a new function `manage' for restarting programs if they crash,
and use it to run the window manager.
dot/xinitrc