4 ms·
Wish it came with a script to download the data so I made one if anyone else wants to use it: https://gist.github.com/TylerBrock/106cad5277151913f197daa2994e59
by tbrock 7y ago
Wish it came with a script to download the data so I made one if anyone else wants to use it:
https://gist.github.com/TylerBrock/106cad5277151913f197daa2994e5991 https://gist.github.com/TylerBrock/106cad5277151913f197daa29...
- crazygringo 7y agoSince they're just direct text file downloads from a single page, there are lots of browser extensions that can handle it for you easily. Or just write a regex to turn the HTML into a bunch of curl commands. The files are all on a single page. It's pretty easy. You don't need a script.
- Avamander 7y agoIf the files are sequentially named then curl can download that very trivially. curl -O http://example/data[0-9].txt http://example/data[0-9].txt
- deleted 7y ago[deleted]