Firefox

Firefox ist ein freier Webbrowser. Er verwendet die Gecko-Web-Engine und wird von der Mozilla Corporation entwickelt. Aktualisierungen erscheinen regelmäßig im 6 Wochen Rhythmus.

Datei:Fx18 archlinux.de.png

Firefox 57 zeigt archlinux.de an

Installation

Firefox ist als firefox in extra verfügbar, und kann von dort mittels Pacman installiert werden.

# Firefox an sich
pacman -S firefox

# Deutsches Sprachpaket
pacman -S firefox-i18n-de

Eine Liste aller verfügbaren Sprachpakete gibt es hier

Für die Soundausgabe von Firefox ist ab Version 57 die Installation von pulseaudio Vorraussetzung.

#Soundausgabe
pacman -S pulseaudio

Alternativen gibt es auch noch aus dem AUR:

• firefox-esr-bin^AUR (eine long-term unterstützte Version)
• firefox-developer^AUR (die spezielle Version für Entwickler von Mozilla)
• firefox-beta-bin^AUR (die offizielle cutting-edge Version von Mozilla)
• firefox-aurora^AUR (alpha Version)
• firefox-nightly^AUR (Die nightly Version)

Hier ist eine Übersicht über Mozilla's releases

Firefox Varianten

• Iceweasel - War der Name der Debian Variante. Mittlerweile ist es Debian gestattet seine Anpassungen wieder unter dem original Label "Mozilla Firefox" zu veröffentlichen.
• GNU IceCat - Baut auf den Esr-Versionen des Browsers auf und entwickelt eigene Sicherheits Add-ons. icecat^AUR
• Firefox (openSUSE) - Mit verbesserter KDE Integration. firefox-kde-opensuse^AUR
• Tor-Browser - Anonymisiertes Surfen und Zugang zu den .onion Seiten. tor-browser^AUR

Gnome Integration

• Damit Firefox mit extensions.gnome.orgzusammenarbeitet kann man folgendes Plugin Firefox hinzufügen gnome-shell-integration. Des weiteren wird noch das Paket aus dem AUR benötigt: chrome-gnome-shell-git^AUR
• Um die Titel Bar zu entfernen kann aus dem AUR hide-ff-title-bar-git^AUR das Plugin installiert werden.

Plasma Integration

Um GTK Anwendungen wie Firefox das Plasma-Desktop-Design zu geben, installiert man breeze-gtk und kde-gtk-config. Danach in die Systemeinstellungen → Anwendungs-Stil → GNOME Anwendungs-Stil (GTK) gehen und dort das gewünschte Plasma-Theme 'Breeze' einstellen.

Add-ons

Firefox-Add-ons sind über das Einstellungsmenu unter Add-ons installierbar. Oder auf dieser Internetseite zu finden. Firefox-Add-ons

Multimedia

Firefox nutzt ffmpeg und pulseaudio für die Wiedergabe von Audio- und Videoinhalten. Um zu Testen welche Medienformate unterstützt werden, kann man diese Seiten nutzen: Videotest und Audiotest.

Flash

Um Flash nutzen zu können installiert man entweder das proprietäre flashplugin (NPAPI) oder das ebenfalls proprietäre pepper-flash (PPAPI) Paket beides aus den extra Repositorium.

pacman -S pepper-flash

Eine freie aber funktionsärmere Alternative ist mit Gnash-git^AUR vorhanden.

DRM-Kopierschutz

Um Netflix & Co wiedergeben zu können muss ein Haken in den Einstellungen gesetzt werden. Näheres ist bei dem jeweiligen Anbieter zu erfahren.

Einstellungen -> Allgemein -> Inhalte mit DRM-Kopierschutz wiedergeben

Rechtschreibprüfung

Für die Deutsche Rechtschreibprüfung sind die Pakete hunspell und hunspell-de zu installieren.

Java

Firefox unterstützt Java, allerdings muss dies separat installiert werden. Nähere Informationen im Artikel: Java

about:

Firefox stellt mit den "about: Seiten" zusätzliche Konfigurationswerkzeuge und Informationsseiten zur Verfügung.

about:about

Gibt man about:about in die Adresszeile von Firefox ein, gelangt man zur Übersicht.

about:profiles

Mit dem Eintrag von about:profiles in die Adresszeile erreicht man den Profilmanager mit dem man weitere Benutzerprofile anlegen und verwalten kann. Benutzerprofile werden unter ~/.mozilla/firefox/xxxxxx.<profilname> gespeichert. Folgende Dateien werden hier abgelegt.

about:config

Trägt man in die Adresszeile about:config ein, können weitergehende Einstellungen als im Einstellungs-Menu vorgenommen werden.
Hierzu wird der entsprechende Parameter mit Hilfe der eingebauten Suchfunktion aufgesucht und anschließend der dazugehörige Wert angepasst.
Änderungen werden erst nach dem Neustart des Browsers wirksam.

	Parameter	Wert	Anmerkung
Privacy Popups deaktivieren	privacy.popups.disable_from_plugins	2	Die Popups von Plugins deaktiviert
IPv6 deaktivieren	network.dns.disableIPv6	true
Backspace-Taste aktivieren	browser.backspace_action	0	Mit Backspace zurück im Browserverlauf
URL mit einfachem Klick markieren	browser.urlbar.clickSelectsAll	true
Autoscroll per mittlerer Maustaste	general.autoScroll	true
Screenshot-Funktion deaktivieren	extensions.screenshots.disabled	true	s. Weblinks zu Sicherheit
Cliqz Tracking ausschalten	cliqz	Löschen aller Werte in allen drei Zeilen	Kann nicht rückgängig gemacht werden

Die getroffenen Einstellungen legt Firefox in die prefs.js Datei des dazugehörenden Profils ab.
Kopiert man eine user.js Datei in das Profil, werden deren Werte in die prefs.js Datei übertragen. Auf diese Weise kann der Browser konfiguriert werden ohne die Einstellungen manuell über das Menu oder die about:config Seite vornehmen zu müssen. Auf pyllyukko und gunnersson werden user.js Dateien für den Schutz der Privatheit zur Verfügung gestellt. Da strenge Einstellungen die Benutzbarkeit einschränken können, empfiehlt es sich, unterschiedliche Nutzer-Profile anzulegen.

Performance steigern

Durch das auslagern der Profildaten kann man einen gewissen Performancegewinn erzielen. Wie dies vonstatten geht, erläutert der dazugehörige Wiki-Artikel Firefox-Profile in Ramdisk auslagern.

Weblinks zu Sicherheit und Privacy

• Privacy-Handbuch Spurenarmes Surfen
• Blogartikel von Mike Kuketz Screenshot-Funktion deaktivieren Okt. 2017
• Blogartikel von Mike Kuketz Cliqz Parameter Okt. 2017
• Blogartikel in Marius's Welt Session Replaying Nov. 2017

Weblinks

• Mozilla Firefox
• Blogartikel von Soeren Hentzschel Firefox Quantum ist da Nov. 2017