@Remi, in ed6de29ed7 you removed the logging information from the run.sh script. If you don't mind, I'd rather keep it (we can make them more discreet if you prefer), but since the script runs potentially over a large time lapse and covers several steps, I believe it's interesting to be able to follow the progress through the logs.
Hi,
@Remi, in ed6de29ed7 you removed the logging information from the run.sh script. If you don't mind, I'd rather keep it (we can make them more discreet if you prefer), but since the script runs potentially over a large time lapse and covers several steps, I believe it's interesting to be able to follow the progress through the logs.