Good news: the upgrade to 3.2.10 solved the problem - bootstrapping now works again. The bad thing: it overwrites changes in /etc/profile.d/modules.sh replacing, be warned!
— Franky Op 27-jan.-2014, om 14:59 heeft Fotis Georgatos <fo...@mail.cern.ch> het volgende geschreven: > My response concerns the fellows who rely on RHEL6/SL6 and the like. > > On Jan 27, 2014, at 2:52 PM, Jens Timmerman wrote: >> And we do recommend you use >=3.2.10, since some bad bugs were fixed in >> this version. [1] > > btw. just got informed earlier this month that RHEL6 now provides a fix; > it does not appear to have arrived in formal package channels, yet > 3.2.10 rpms for RHEL6 exist by now and may trigger the next step > by asking them about it (and please test them w. your userbase btw).
