Surfing in the World Wide Web
We recommend using Firefox (firefox) as browser for surfing the Web. It is available on all our platforms.
Bookmarks
You can save interesting WWW addresses with the Bookmark function of Firefox. These are saved under Unix in your home directory in the file ~/.mozilla/firefox/[ProfileName]/bookmarks.html. Firefox also saves other personal settings in the ~/.mozilla/firefox directory.
Configuration
Firefox offers a host of configuration options. This is very nice, but once you have changed many things so that Firefox stops working properly, it becomes a problem. This is the moment when you should consider 'resetting' your Firefox configuration. Here is how to do it:
- Exit Firefox
Type mv ~/.mozilla ~/.mozilla-old in a terminal
- Start Firefox
Firefox will now get a brand new config file and should resume working properly. Please note, that by this, you will loose all you personal settings. You can always copy files back from the .mozilla-old directory with the command cp.
You can find more information about Firefox configuration files on http://www.gemal.dk/mozilla/files.html
Proxy Setup
If you are setting up your Firefox yourself, you might at least want to configure it to use our proxy server: proxy.ee.ethz.ch:3128