Odd. It definitely works on Ubuntu. But I'm delighted to hear about apt-cache; here I've been unnecessarily resorting to google for all my package-finding needs!

And to get back to the point at hand: tab-completion, if you don't know about it already, is an absolute must in Linux world. It works with almost every command, and will save you huge amounts of typing.

tab-completion gives the files or directories in your current directory when you use it
To remove a file, you need to know the packagename, not the filename

I have no doubt that's generally true - but on Ubuntu, apt-get somehow understands that what you're trying to complete is actually a the name of a package, rather than a directory:

By the way - sorry for the digression into techno-babble, elishac.

Thanks a lot for your answers. I'm a little bit lost with your discussion : what exactly should I do? (I want to be able to use the divx web player, rather than to download the file, because the divx web player allows streaming).

Could you post a link to a divx file?

Oops - it looks like I've been barking up the wrong tree here. DivX, first and foremost, is a codec (a bunch of code that helps you play media files, but doesn't actually play media files itself). It just so happens (I think) that the people in charge of the DivX project provide full-blown DivX players for Windows and the Mac OS. Not so under linux, unfortunately.

Though the codec apparently works under linux (probably because somebody tweaked it to make it compatible), making use of the codec requires you to rely on third-party media players - totem being but one example. If you don't like the interface that totem provides, you can try mplayer, which you'd install like so:

(There're two packages there: mplayer, and gecko-mediplayer, which provides the browser plugin)

The short answer to your question, however, is that it would be very, very difficult (if not impossible) to get the DivX player you know from Windows-world working under linux. Hope that isn't a deal-breaker!

Could you post a link to a divx file?

http://developer.divx.com/docs/DivX_Web_Player

I still don't know what to do though.

Well, can you stand the DivX player that you've got now (ie the one you don't particularly like)?
If not, you can try these pairs of media players and browser plugins:

mplayer and gecko-mediaplayer

vlc and mozilla-plugin-vlc

xine and gxineplugin

All are packages, which can be installed via apt-get.
And by the way - the copy-and-paste solution I described above works perfectly well for streaming.

The one that I've got now is called totem browser, but I'd rather use the divx web player, if possible.
Why are you trying to give me so many possibilities so that I don't use the divx web player?
Doesn't it exist in linux?

There is one for Linux, but it's a beta release - which means it has problems, it needs more work done on it. So if you would rather have that than the MPlayer or VLC solutions - get it here:

http://labs.divx.com/node/248

On my system, it plays the streaming DIVX using the mplayer plugin
see
http://beginnerslinux.org/temp/Screenshot.png