<div dir="ltr"><div dir="ltr"><div dir="ltr"><div>Hi Robie,</div><div><br></div><div>Seeing that you have attached a signature it would help if you could point me to your public key. You can find mine at public key-servers. The fingerprint is: 57AA BFB8 727A 2506 47CC  CB90 2D23 4815 7026 0357. Look for <a href="mailto:gostal@foi.se">gostal@foi.se</a> or perhaps some part or all of dsa1024/70260357.</div><div><br></div><div>Ok, I will make a bug report. I thought about doing it but I was not sure whether this would qualify as bug. According to a colleague of mine Debian does not let /bin/sh point to /bin/dash if the user has chosen e.g. bash as his or her shell. But googling just now I'm not so sure. I'll double check with my colleague. If things are as he says Debian would not be affected unless the chosen shell i dash, of cource. I'll also find out about Debian version and version of the environment-modules package. If he has installed environment-modules I can ask him to check the scripts for #!/bin/sh or send them to me. But that'll have to suffice. I can't guarantee that it'll be the latest versions.</div><div><br></div><div>Thanks for responding. The Mint fora have not been overly helpful, I must say.</div><div><br></div><div>Best wishes,</div><div>Gösta</div><div><br></div></div></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">Den sön 5 maj 2019 kl 19:35 skrev Robie Basak <<a href="mailto:robie.basak@ubuntu.com">robie.basak@ubuntu.com</a>>:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Hi,<br>
<br>
I would start by making sure a good quality bug report exists against<br>
the Ubuntu package, and if relevant, the Debian package. It would help<br>
if you could report in that bug if the problem is fixed in the latest<br>
version of the package in Debian, and which releases of Ubuntu are<br>
affected. Then it will be more obvious to developers where the fix needs<br>
to be made and what work might be required.<br>
<br>
Thanks,<br>
<br>
Robie<br>
<br>
On Sat, May 04, 2019 at 03:49:51PM +0200, Josefsson-Ljungdahl wrote:<br>
> Hi.<br>
> <br>
> I wish to report an issue regarding environment-modules version 4.1.1-1 in<br>
> universe/devel. I run Linux Min 19 but this issue lies with Ubuntu. It's<br>
> not really a bug, more of a compatibility problem. According to the files<br>
> in the package this software is meant to be initialised during login since<br>
> it puts a file under /etc/profile.d/ named modules.sh which in turn sources<br>
> initialisation files under /usr/share/modules/init depending on the user's<br>
> shell. The initialisation fails because some files contain the shebang<br>
> #!/bin/sh which means that /bin/dash runs those files in particular a file<br>
> which sets up the shell command "module". The commands are then exported as<br>
> are a number of environment variables but apparently dash does not entirely<br>
> cope with this as the commands are not available when a terminal session is<br>
> started although the set environment variables are.<br>
> <br>
> I use bash and I changed /bin/sh to point to /bin/bash instead of<br>
> /bin/dash, logged out and logged back in and the initalisaion worked as<br>
> expected.<br>
> <br>
> I would suggest that the package be patched to cope with the user's choice<br>
> of shell provided it is supported by the package. Needless to say, dash is<br>
> not supported.<br>
> <br>
> I do not know if Ubuntu sources /etc/profile during graphical login but<br>
> Mint does. In case Ubuntu doesn't I would suggest that the installation of<br>
> the package puts a sourcing line in ~/xsessionrc or tells the user to do<br>
> so, at least tell the user what to do to make it work.<br>
> <br>
> I would really appreciate this to be done. The software is really handy and<br>
> many would welcome a pacage installation that works as intended.<br>
> <br>
> You can find details of my trials and errors here:<br>
> <a href="https://forums.linuxmint.com/viewtopic.php?f=47&t=279377" rel="noreferrer" target="_blank">https://forums.linuxmint.com/viewtopic.php?f=47&t=279377</a><br>
> <br>
> If someone wishes to contact me in this matter please send a mail to<br>
> <a href="mailto:gostal@foi.se" target="_blank">gostal@foi.se</a><br>
> <br>
> Kind regards,<br>
> <br>
> Gösta Ljungdahl<br>
<br>
> -- <br>
> Ubuntu-devel-discuss mailing list<br>
> <a href="mailto:Ubuntu-devel-discuss@lists.ubuntu.com" target="_blank">Ubuntu-devel-discuss@lists.ubuntu.com</a><br>
> Modify settings or unsubscribe at: <a href="https://lists.ubuntu.com/mailman/listinfo/ubuntu-devel-discuss" rel="noreferrer" target="_blank">https://lists.ubuntu.com/mailman/listinfo/ubuntu-devel-discuss</a><br>
<br>
</blockquote></div>