June 7, 2018July 3, 2020Data 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 […]
