Thorsten „mirabilos“ Glaser be9a70562e Make /etc/profile compatible with non-bash shells again.
Fixes #13384.

Signed-off-by: Adrien Destugues <pulkomandy@pulkomandy.tk>
2017-03-25 12:04:08 +01:00
..