Hi Sebastian,
"Sebastian Sastre" ssastre@seaswork.com wrote
I set the script that customizes this devel images to load Magma between the first 5 packages to avoid those kind of problems.
Could you share that script? I want to try building my own image too.
Thanks - Sophie