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

..

profile.d

…

inputrc

…

profile

…