michaelsanford
Translator, Web Developer
I have to download a huge batch of files from a web site named as:
first file, first part = 001a.txt
third file, second part = 003b.txt
etc ... up to
114.txt
The only problem is some files have only one part and some go up to f ; the files with only one part have no letter tag. I don't want to have to copy-paste each individual file name into a transfer manager, the list just too voluminous.
I don't have FTP access and the web folder where the files are kept is not allowed directory listing.
I ideally want to download the files one at a time, automatically with a ferw terminal commands (or a GUI app, whatever). Each file is about 15 megs and more than one file at a time isn't efficient on my connection.
Can I do this with curl, wget, or any other fink-able package ? Any and all ideas welcome...
Luckily, each file is listed on a single page with links and on that page every link with an extension ".txt" is a file I need. I'm thinking a script with sed might be useful. I was thinking that I could strip the HTML source file of everything except a CR/tab deliminated list of each file I need and then somehow pass that to curl or something ? I don't know enough shell scripting to be able to do that though...
first file, first part = 001a.txt
third file, second part = 003b.txt
etc ... up to
114.txt
The only problem is some files have only one part and some go up to f ; the files with only one part have no letter tag. I don't want to have to copy-paste each individual file name into a transfer manager, the list just too voluminous.
I don't have FTP access and the web folder where the files are kept is not allowed directory listing.
I ideally want to download the files one at a time, automatically with a ferw terminal commands (or a GUI app, whatever). Each file is about 15 megs and more than one file at a time isn't efficient on my connection.
Can I do this with curl, wget, or any other fink-able package ? Any and all ideas welcome...
Luckily, each file is listed on a single page with links and on that page every link with an extension ".txt" is a file I need. I'm thinking a script with sed might be useful. I was thinking that I could strip the HTML source file of everything except a CR/tab deliminated list of each file I need and then somehow pass that to curl or something ? I don't know enough shell scripting to be able to do that though...