June 7, 2018October 2, 2024Data Data directory and wget At last I managed to build the right wget command to retrieve the entire Data directory, or just a given subset of […]
