Downloading streams on the command-line (11 Oct 2012)

On Ubuntu, rtmpdump then fills the gap for me, for example:

 rtmpdump -r 'rtmpt://foo/bla/fasel/foo.mp4' -o foo.mp4

to top