make /etc/profile compatible with more shells
|Reported by:||mirabilos||Owned by:||nobody|
|Has a Patch:||yes||Platform:||All|
I’m attaching a patch to make /etc/profile compatible with more shells (focus on mksh, but also other non-GNU bash shells can benefit from it).
This is against today’s nightly build.