"wget" will do mirrors but can only follow links or urls from a script "curl" will retrieve files in a sequence curl "http://domain/file[1-100].rm" -o "file#1.rm" will get you file1.rm file2.rm ... file100.rm (it can also cope with leading 0's file001.rm etc.)