Piero Bosio Social Web Site Personale

printf "%s\n" 'e !sort -u %' wq | ed -s skip; w3m -dump 'https://cdn.media.ccc.de/congress/2025/webm-hd/' | awk '/\[[0-9]+\] https:.*webm-hd.*\.webm$/{print $2}' | sort | comm -23 - skip | tee urls | while read -r u; do echo $u; grep -Fq "$u" skip && continue; wget -c "$u" && echo $u >> skip; doneDownloading recorded talks from #39c3 using #ed #w3m #awk and other #unix tooling <3Thought about replacing #wget with #curl but old dogs and such...

So tell me, what does a comparison of #wcurl and #wget need to include?https://github.com/bagder/docs/blob/master/wcurl-vs-wget.md