You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
"update_VM.sh -s" (i.e. "UPDATE.sh -s") no longer runs configure_gnome.sh. If you have a very old VM, run it manually instead.
Updates to run using docker scripts
installs custom pip and all python prerequisites with pip
Bugfix in finding cython and python in UPDATE.sh
general refresh of scripts etc
move zero_fill.sh from first_run.sh and move it to a new clean_before_VM_export.sh script, which also removes build files to make the exported VM smaller.
docker and VM:
install uuid-dev such that we're prepared for installing ROOT