On 2019-05-08 14:07, Gösta Ljungdahl wrote:
Hi, Gunnar,
Tested editing /etc/profile.d/modules.sh to source
/usr/share/modules/init/bash by default i.e. commented out the line
. /usr/share/modules/init/sh
and put in
. /usr/share/modules/init/bash
but it was not sufficient. Apparently dash comes in at a later stage.
So it seems. There are probably a couple of pitfalls built-in in that
program.
Thanks for bringing the issue to the upstream maintainer! It would be
great if you could get back here and let us know the outcome of the
discussion/tests.
--
Gunnar Hjalmarsson
https://launchpad.net/~gunnarhj
--
Ubuntu-devel-discuss mailing list
Ubuntu-devel-discuss@lists.ubuntu.com
Modify settings or unsubscribe at:
https://lists.ubuntu.com/mailman/listinfo/ubuntu-devel-discuss
