Guten Morgen Berit,
für Linux und ähnliches gibt es wget; wget ist sehr mächtig, setzt die Verknüpfungen auch neu. Man muss jedoch die Optionen gut einstellen, denn ansonsten läd man sich wirklich sehr viel (!) herunter...
Mit Gruß
Dada
nicht angemeldet