Hi Marius! > Am 02.05.2020 um 16:20 schrieb Marius Bakke : > > We could extend the test in /etc/profile to look for a /bin > directory of the profile I think this is the right solution, as that’s the actual aim of the else-part: Provide a path to a bin directory if the profile doesn’t do this by itself – there is just the implicit (but wrong) assumption that it would, if the profile is existing. I sent a patch, probably you saw it already. Bye Stefan