Differences between revisions 9 and 16 (spanning 7 versions)
⇤ ← Revision 9 as of 2018-09-05 12:28:27 →
Size: 2347
Editor: davidsch
Comment:
← Revision 16 as of 2020-09-10 09:17:51 → ⇥
Size: 2776
Editor: gfreudig
Comment:
Deletions are marked like this. Additions are marked like this.
Line 1: Line 1:
#rev 2020-09-10 gfreudig
Line 4: Line 5:
We recommend using Firefox `(firefox)` as browser for surfing the Web. It is available on all our platforms. 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.
Line 8: Line 9:
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. 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.
Line 12: Line 13:
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: 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:
Line 19: Line 20:
You can find more information about Firefox configuration files on http://www.gemal.dk/mozilla/files.html You can find more information about Firefox configuration files on https://support.mozilla.org/en-US/kb/profiles-where-firefox-stores-user-data
Line 24: Line 25:
Starting with autumn 2018 and the new Debian Stretch (Debian 9.x), 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. /!\ Adobe has announced the End Of Life of Flash Player on December 31, 2020 (https://www.adobe.com/products/flashplayer/end-of-life.html). We therefore do not recommend installing Flash Player any more.<<BR>><<BR>>

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.
Line 33: Line 36:
 1. Unpack the downloaded archive, i.e. enter: "tar xvfz flash_player_npapi_linux.x86_64.tar.gz libflashplayer.so"
 1. Move the extracted file "libflashplayer.so" to $HOME/.mozilla/plugins, i.e. enter: "mv libflashplayer.so ~/.mozilla/plugins"		  1. Unpack the downloaded archive, i.e. enter: `tar xvfz flash_player_npapi_linux.x86_64.tar.gz libflashplayer.so`
 1. Move the extracted file `libflashplayer.so` to `$HOME/.mozilla/plugins`, i.e. enter: `mv libflashplayer.so ~/.mozilla/plugins`

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.

Bookmarks

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.

Configuration

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:

  • 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 https://support.mozilla.org/en-US/kb/profiles-where-firefox-stores-user-data

Enabling Adobe Flash Player in Firefox

/!\ Adobe has announced the End Of Life of Flash Player on December 31, 2020 (https://www.adobe.com/products/flashplayer/end-of-life.html). 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 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)