3 ms·

Great, thanks for the hint. Does someone know whether there is an easier way to download a directory tree than visiting one file after the other?

• pmcjones 3y ago
  wget?
  • Rochus 3y ago
    thanks for the hint; with the -r option I was indeed able to download the whole directory which took ~3.5 hours (31638 files, 18678 of which hidden, 942 MB in total); the tree includes 3441 .mesa files and ~1900 C source files, a lot of which apparently generated.