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	Make /etc/profile compatible with non-bash shells again.	2017-03-25 12:04:08 +01:00