I'm trying to download / install mysql from the terminal. Here is what happens when I try to use wget:

$ wget http://dev.mysql.com/get/Downloads/M...gov/pub/mysql/
--13:29:16-- http://dev.mysql.com/get/Downloads/M...gov/pub/mysql/
=> `index.html'
Resolving dev.mysql.com... failed: Name or service not known.

Now for the questions:

• Why doesn't this work? I'm behind a company firewall maybe that has something to do with it?
• How can I tell which version of mysql I need?
  • I found out which distro I'm using and got this: $ cat /proc/version
    Linux version 2.4.21-40.ELsmp (bhcompile@hs20-bc1-7.build.redhat.com) (gcc version 3.2.3 20030502 (Red Hat Linux 3.2.3-54)) #1 SMP Thu Feb 2 22:22:39 EST 2006

Thanks,
Will