Closed yarikoptic closed 4 months ago
Two issues:
wget -r -nH --cut-dirs=3 --no-parent --reject "index.html*" https://webdav.dandiarchive.org/dandisets/000027/releases/0.210831.2033/
is admittedly a wget command, but a pretty exotic oneI assume this is all working as expected and there's no feasible way to actually get links to things? In any case, that's what I meant by “easier” access.
But if this is unavoidable, maybe we could publish that snippet somewhere... where? We have a copy-click thing on the DANDI website, would be cool to have options, like github has. If that's too tricky to do... people don't generally read the manual of a website before they use it, I never read the GitHub manual... so in any other place it's likely to be as good as unstated.
wget
invocation to download the folder and apply it here - my bet would be that it would work just as good.wget
follows redirects by default (as opposted to curl
IIRC)Overall - only the notion of redirects is specific here (hence target filenames could be effected as well) and a matter of documentation.
Triggered by @TheChymera
By default we just tell people to use
dandi
CLI. But there are alsowget
entire archive. For an individual release eg.wget -r -nH --cut-dirs=3 --no-parent --reject "index.html*" https://webdav.dandiarchive.org/dandisets/000027/releases/0.210831.2033/