Mislav Marohnić a9a9636d1e Tweak sanitizing shell name
Handles situation when the output is `/bin/shell- args...`. First strip
away the arguments, then the trailing dash.
2015-12-24 13:23:01 +01:00
..
2015-11-23 09:13:31 -05:00
2015-12-07 11:03:07 -08:00
2015-12-24 13:23:01 +01:00
2015-10-28 21:35:39 +01:00
2013-10-31 20:18:14 +02:00
2015-12-12 15:28:34 +09:00