Internetbrowser Firefox

Für den Internetbrowser Firefox hat jeder Benutzer an der Schule ein serverbasiertes Profil, in dem die persönlichen Einstellungen und auch Lesezeichen gespeichert werden.
Dadurch stehen bei jeder Anmeldung an jedem Schulrechner immer die gleichen Einstellungen und Lesezeichen zur Verfügung.

Firefox merkt sich den zuletzt verwendeten Drucker (→ Ziel) und die Einstellungen dafür.
Wechselt man den verwendeten Rechner, wird der eingestellte Drucker unter Firefox nicht durch den Standarddrucker für den Rechner ersetzt.
Daher muss man den zum Rechner passenden Drucker manuell auswählen und die Einstellungen überprüfen (z.B. Skalierung).

Verwendet man einen Drucker zum ersten Mal, kann es sein, dass die Papiergröße auf DIN A5 gestellt ist.
Dafür kann der Drucker das DIN A4-Papier aus dem Standardpapierfach nicht verwenden, fordert ein anderes Papierformat und nutzt beim Ausdruck nur die Hälfte eines DIN A4-Blattes.
Wenn der Drucker also nicht das Standardpapierfach verwendet und ein anderes Papierformat fordert, dann überprüfen sie, ob in Firefox fälschlicherweise A5 statt A4 eingestellt ist.

Um die Lesezeichen in Firefox zu sichern oder wiederherzustellen, öffnet man das Menü von Firefox über die drei Striche rechts oben. Dort „Lesezeichen“ und anschließend „Lesezeichen verwalten“ auswählen.

Zum Sichern der Lesezeichen unter „Importieren und Sichern“ den Eintrag „Sichern“ auswählen. Anschließend einen Ort (z.B. „Home_auf_Server“) und einen Dateinamen auswählen.

Zum Wiederherstellen über den Eintrag „Wiederherstellen“ und „Datei wählen …“ die Datei mit den gesicherten Lesezeichen zurückspielen.

In seltenen Fällen weist das Profil von Firefox Fehler auf und Firefox funktioniert dadurch nicht mehr korrekt (z.B. durch Doppelanmeldungen - siehe orangener Hinweiskasten oben), dann kann es notwendig werden das Profil neu zu erstellen.
Das Profil von Firefox ist für Ubuntu 18.04 gespeichert im Verzeichnis Home_auf_Server/Einstellungen/firefox, für Ubuntu 22.04 und 24.04 im Verzeichnis Home_auf_Server/Einstellungen_2204/firefox.
Wenn man das entsprechende Verzeichnis firefox mit allen enthaltenen Dateien löscht, löscht man das zugehörige Firefox-Profil mit allen Einstellungen und Lesezeichen.
Anschließend sollte man den verwendeten Rechner neu starten und dabei den Rechner synchronisieren.
Dadurch erhält man bei der nächsten Anmeldung ein neues Profil mit den Standardeinstellungen.

Auf vielen Internetseiten werden pdf-Dateien zum Download angeboten. Mittlerweile enthält Firefox einen internen pdf-Reader, der diese anzeigen kann, der allerdings manchmal Probleme beim Ausdrucken hat.

Abhilfe schafft, wenn man pdf-Dateien nicht durch den internen pdf-Reader anzeigen lässt. Dazu geht man zu den Einstellungen von Firefox und scrollt unter „Allgemein“ nach unten bis „Anwendungen“. Im Kasten darunter sucht man unter „Dateityp“ den Eintrag „Portable Dokument Format (PDF)“ und ändert in der Spalte „Aktion“ den Eintrag zu „System-Standardanwendung verwenden“.
Anschließend kann man den Tab für die Einstellungen wieder schließen. Ein Speichern ist nicht notwendig.