Hi! I have found a specific site (http://fun.barnal.de/videos) and want to download all files from this page to view them offline. Question is: how?

I tried it with HTTrack, but I can't resume the download after I have stopped it.

Do you know a tool (must be available for Linux) that could do this for me?

Wget.

If you use FireFox you could try the "Download them all" extension. I'm not sure about the name, it's popular so you'll find it.

downTHEMall is the name of the extension... at least the one I have.

wget or httrack

I used to use httrack. It was teh awesome.

Problem with wget is that I cannot resume the download after I have stopped it. HTTrack seemed to offer that option, but it seemed to random - sometimes it worked, sometimes it started redownloading the whole page again.

DownThemAll however seems to work fine! So, if nobody proposes a better program, I will use this.

-c resumes partially downloaded files. -N makes sure only new files get downloaded. What's the problem?

I second wget.

"DownThemAll!" is really quite nice for in-Firefox use.

Hey, gnolam, you really helped me with your "-c" option. I suppose I have to read the man pages more often.

So I'll use wget now! Thanks for your help!

Now if only someone made a frontend for wget that would make it actually behave like it should. Wget is another fine example of opensource at its prime: Needlessly complicated, poorly documented and it doesn't work like it's supposed to.

Care to elaborate?
I've used it without any problems for weeks before even looking at the manpage (which I needed only when I wanted to make a local copy of a website). The manpage itself is detailed and list all options very clearly.

I tried numerous times to downlad an image gallery (a html page that links to the jpegs). However, it only downloads the index page and stops regardless of recursion options specified. Another funky thing, even when i tell wget to retain only donwloaded jpegs, it keeps the index even though i told it to retain only jpegs.

The help file (yes i've tried it in windows) lists all options allright, but the explanations are arbitrary at best and the examples are, while well demonstrating the flexibility of Wget, totally useless from a practical point of view.

o   You have a file that contains the URLs you want to download?  Use the -i
    switch:

           wget -i <file>

-F
--force-html
    When input is read from a file, force it to be treated as an HTML file.  This
    enables you to retrieve relative links from existing HTML files on your local
    disk, by adding "<base href="url">" to HTML, or using the --base command-line
    option.

-B URL
--base=URL
    Prepends URL to relative links read from the file specified with the -i option.

If the images are all the same extension and in the same directory on the site:

o   You want to download all the GIFs from a directory on an HTTP server.  You
    tried wget http://www.server.com/dir/*.gif, but that didn't work because HTTP
    retrieval does not support globbing.  In that case, use:

            wget -r -l1 --no-parent -A.gif http://www.server.com/dir/

    More verbose, but the effect is the same.  -r l1 means to retrieve recur
    sively, with maximum depth of 1.  -no-parent means that references to the par
    ent directory are ignored, and -A.gif means to download only the GIF files.  -A
    "*.gif" would have worked too.

That method won't work if the site has a robots.txt file set up, though.

Didn't you think i tried that? Just didn't work. I even forged the user agent and told it to ignore robots.txt but to no avail.