Oneliner to download videos from Arte+7. There are many ways to do this and language or quality coud be set up as options. Requires urldecode.awk.

arte.sh

#!/usr/bin/env zsh

# 03/2013

	curl -s $1 |\
	awk '/embed src/' |\
	urldecode.awk |\
	grep -o 'http[a-zA-Z0-9.,:/_?=-]+asPlayerXml.xml' |\
	xargs curl -s |\
	grep -o 'http[a-zA-Z0-9.,:/_?=-]+xml' |\
	xargs curl -s |\
	grep '(hd|HQ|800)' |\
	grep DE |\
	grep -o 'rtmp[a-zA-Z0-9.,:/_?=-]+' |\
	xargs -I {} rtmpdump -r {} -o bla.flv
	
#for better copy and pasting:
#	curl -s $1 | awk '/embed src/' | urldecode.awk | grep -o 'http[a-zA-Z0-9.,:/_?=-]+asPlayerXml.xml' | xargs curl -s | grep -o 'http[a-zA-Z0-9.,:/_?=-]+xml' | xargs curl -s | grep '(hd|HQ|800)' | grep DE | grep -o 'rtmp[a-zA-Z0-9.,:/_?=-]+' | xargs -I {} rtmpdump -r {} -o bla.flv