Hallo,
Es gibt ein Portal, bei dem ich ein Konto habe und bei dem ich einige Dateien regelmäßig herunterladen will.
[...]
Das Login ist allerdings eine relativ komplexe Form, die viel mit Javascript arbeitet, und curl kann kein Javascript...
Weiß jemand, ob ein kleines Browser existiert, die ich per Kommandozeile ansteuern kann?
JS ist hier der falsche Ansatz. Werfe im Browser deiner Wahl die Developer Tools an. Du wirst sehen dass auch dieses Formular am Ende mit dem Server sprechen muss. Meist durch einen HTTP POST mit allesamt aus dem Formular hergeleiteten Daten. Die Antwort setzt das Session-Cookie und ggf. eine Weiterleitung. Beobachte diesen Request und stelle ihn per curl nach. In einigen Bowsern kann man die curl-Kommandozeile direkt herauskopieren. Mit curl musst du dann mit einem Cookie-File arbeiten, wie du schon erwähnt hast. Nur eben die Cookies speichern beim ersten Aufruf von curl zum einloggen.
Viel Spaß beim scripten, Andreas