Differences between revisions 11 and 12
⇤ ← Revision 11 as of 2018-09-18 05:28:07 →
Size: 2486
Editor: bonaccos
Comment:
← Revision 12 as of 2018-09-18 05:28:33 → ⇥
Size: 2512
Editor: bonaccos
Comment:
Deletions are marked like this. Additions are marked like this.
Line 1: Line 1:
#rev 2018-09-18 bonaccos

Surfing in the World Wide Web

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

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

Enabling Adobe Flash Player in Firefox

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 https://get.adobe.com/en/flashplayer/

  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 libflashplayer.so

  7. Move the extracted file libflashplayer.so to $HOME/.mozilla/plugins, i.e. enter: mv libflashplayer.so ~/.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.

CategoryLXCL

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