Hallo, alejo d hat gesagt: // alejo d wrote:
try wget, no need to download expiring and full of adverts malware, dunno if windows has wget (?):
Google "wget for windows" and you will find plenty.
wget --secure-protocol=auto --no-check-certificate --force-html --no-directories --recursive --level=0 --accept .pd https://www.cs.tcd.ie/~wardn1/PD_workshop/01.pd-control/
This is possible a bit easier with this:
$ wget --mirror --no-parent https://www.cs.tcd.ie/~wardn1/PD_workshop/
You may want to delete some index-files afterwards.
Frank Barknecht _ ______footils.org_ __goto10.org__