> mirabilos, I wonder if you might be willing to please put some shell function like this into the dot.mkshrc in upstream mksh CVS?
I’m not. > It seems to me a fairly uncontroversial change. No. As I said, “help” is very generic, and I know of distros aliasing it to “man” or “man man”. (SuSE 6.1 did that, for example.) Also, generic names are… problematic. I’ve learned my lesson from when I added a “rename” builtin. > Then, next time you push the latest mksh version into Android gerrit, perhaps you could include this change as part of the broader changelist. Android mkshrc is independent of mksh/dot.mkshrc and completely separately maintained. -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1366451 Title: "mksh -v" should display mksh's version number, plus the attached chunk of text, onscreen To manage notifications about this bug go to: https://bugs.launchpad.net/mksh/+bug/1366451/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs