[v8r2] Small fixes
Fix a few problems in scripts (see commits) Progress bar now on stderr, allowing redirection of output to a file still seeing the progress (thanks Chris for the idea)
GitLab Registry scheduled maintenance on Wednesday, October 09th 2024 as of 20:00h Geneva time for a period of 1 hour. Further information under https://cern.ch/otg0152540.
Fix a few problems in scripts (see commits) Progress bar now on stderr, allowing redirection of output to a file still seeing the progress (thanks Chris for the idea)