On Sat, Nov 11, 2017 at 08:10:57PM +0700, Robert Elz wrote: > It is unreasonable to inflict on people who don't want/need it, just > because it happens to be useful to you.
Elz? Robert Elz? The same one I chastised for a bunch of unnecessary changes to /bin/sh several weeks ago? On Fri, Jul 14, 2017 at 02:09:38AM +0700, Robert Elz wrote: > | Stop. > | Leave /bin/sh alone. > > Sorry, that is not going to happen, there are still far too many bugs, > and a few things missing that are needed. > > | If you want features for an interactive session, use a different shell. > | If you want features for a scripting environment, use a different shell. > > No. > > I have no idea what you think is left after eliminating those, but it > is not anything I want, for any purpose. This is precious! Please, tell us more about how individual preferences superseding legacy behavior is a bad thing. You have my full attention! -- . ___ ___ . . ___ . \ / |\ |\ \ . _\_ /__ |-\ |-\ \__
