HI > Can anybody suggest a proper tool (if any exists) for Debian? > (MS-Windows users have ReaPlayer that works for that.) I think that depends on which kind of video you mean. Real Player is available also for Debian, but there are a lot of other applications and scripts (and also firefox/iceweasel plugins) to do the job. Which kind of video you need to download? M