On 2017-05-24 16:15:03 +0200, Joerg Schilling wrote: > I have no idea what "posh" targets, but given that: > > posh > $ exit > posh: exit: bad number
I can't reproduce this issue: cventin:~> posh $ exit cventin:~> on a Debian/unstable machine (posh 0.12.6, 14 Feb 2016, so with a version from more than 1 year ago). -- Vincent Lefèvre <[email protected]> - Web: <https://www.vinc17.net/> 100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/> Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)
