Surfing in the World Wide Web

We recommend using Mozilla Firefox as browser for surfing the Web. It is available on all our platforms. We follow the ESR releases for the installed versions.


You can save interesting WWW addresses with the Bookmark function of Firefox. These are saved under Unix in your home directory in the database file ~/.mozilla/firefox/[!ProfileName]/places.sqlite. Firefox also saves other personal settings in the ~/.mozilla/firefox directory.


Firefox offers a variety 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:

You can find more information about Firefox configuration files on

Enabling Adobe Flash Player in Firefox

/!\ Adobe has announced the End Of Life of Flash Player on December 31, 2020 ( We therefore do not recommend installing Flash Player any more.

Starting with autumn 2018 and the new Debian Stretch (Debian 9), the flash plugin is no longer a part of the system installation. Users that still need to work with Flash applications must install the Flash plugin themselves in their home. However, always use the builtin HTML5 player as flash replacement, if possible.

Flash installation steps

  1. Go to

  2. The version you need is "Linux 64 Bit (Firefox)" in your desired language.
  3. From the combobox "Choose version..." select ".tar.gz for Linux"
  4. Click the "Download now" button.
  5. Open a terminal (shell)
  6. Unpack the downloaded archive, i.e. enter: tar xvfz flash_player_npapi_linux.x86_64.tar.gz

  7. Move the extracted file to $HOME/.mozilla/plugins, i.e. enter: mv ~/.mozilla/plugins

  8. Restart your Firefox
  9. Verify if the flash plugin has been loaded. Enter in Firefox the following URL: about:plugins.

  10. On the page displayed, there should be an entry called "Shockwave Flash". If it is missing, something is not configured correctly.


Workstations/Linux/Applications/Firefox (last edited 2020-09-10 09:17:51 by gfreudig)