DownloadChecker für Firefox

Die Erweiterung liegt bei Mozilla in der Prüfung. Diese Seite gibt es schon, weil der Eintrag bei Firefox Add-ons eine erreichbare Datenschutzerklärung verlangt — die steht unten verlinkt. Sobald die Prüfung durch ist, steht hier der Weg dorthin.

Zwanzig Dateien auf einer GitHub-Release-Seite, und die Frage ist jedes Mal dieselbe: habe ich die schon? Der Verlauf hilft nicht weiter, der Download-Ordner auch nicht, und am Ende lädt man dieselbe ISO ein zweites Mal herunter.

Der DownloadChecker färbt die Download-Links direkt auf der Seite ein:

• grün — die Datei ist heruntergeladen
• gelb — der Download läuft noch, ist fehlgeschlagen oder hat eine andere Grösse als die Datei auf dem Server
• rot — sie fehlt noch

Unten rechts zählt ein Kästchen die Links je Farbe; ein Klick darauf listet auf, was fehlt.

Wo es besonders zählt

Auf jeder Seite mit Download-Links, und mit eigener Behandlung für GitHub-Releases samt Quellarchiven und für SourceForge. Bei GitHub-Release-Dateien fragt die Erweiterung zusätzlich die Grösse beim Server nach: eine abgebrochene Datei liegt im Ordner wie eine vollständige und ist ihr sonst nicht anzusehen. Mehrfach geladene Dateien wie datei(1).zip zählen als dieselbe Datei, und das Quellarchiv «Source code (zip)» wird dem gefundenen repo-1.2.3.zip zugeordnet.

Was sie sieht, und was nicht

Firefox gibt einer Erweiterung nur die Downloads der laufenden Sitzung heraus; nach einem Neustart stehen die früheren nur noch im Verlauf, und den darf keine Erweiterung lesen. Der DownloadChecker merkt sich fertige Downloads deshalb selbst — lokal in Firefox, mehr dazu in der Datenschutzerklärung.

Daraus folgen drei Grenzen. Sie stehen hier, weil sie nach der Installation sonst wie Fehler aussehen:

• Eine gelöschte oder verschobene Datei bleibt grün. Eine Erweiterung darf nicht auf die Festplatte schauen; rot wird der Link erst, wenn Firefox von sich aus bemerkt, dass die Datei fehlt. In den Einstellungen lässt sich das Gemerkte jederzeit vergessen.
• Erkannt wird nur, was mit diesem Firefox-Profil geladen wurde — nicht aus einem anderen Browser, nicht aus einem privaten Fenster und nichts von vor der Installation.
• Links ohne Dateinamen in der Adresse wie download.php?id=123 erkennt sie nicht.

Ein Schalter in der Symbolleiste

Nach der Installation sitzt das Symbol in der Symbolleiste. Ein Klick schaltet das Markieren auf allen Seiten aus, ein zweiter wieder ein — für die Seite, auf der die Farben gerade stören. Wie jedes Erweiterungssymbol lässt es sich ins Erweiterungen-Menü verschieben und zurückholen.

Welche Dateiendungen überhaupt als Download gelten, steht in den Einstellungen und ist änderbar; offene Seiten übernehmen die Änderung sofort. Die Darstellung folgt wahlweise dem Browser oder steht fest auf hell oder dunkel.

Nichts verlässt den Browser

Kein Konto, kein Server, keine Auswertung. Die einzigen Anfragen ins Internet sind HEAD-Anfragen an GitHub, die nach der Grösse einer Release-Datei fragen — sie übertragen die Adresse der Datei, die ohnehin gerade auf dem Bildschirm steht, und laden nichts herunter.

Installation

Über Firefox Add-ons, sobald Mozilla die Prüfung abgeschlossen hat. Dort ist die Erweiterung signiert und aktualisiert sich selbst; ein selbst gebautes Paket liesse sich in Firefox Release nur vorübergehend laden.

Der eingereichte Build ist nachbaubar: npm ci und npm run build erzeugen byteweise dieselbe Datei wie das eingereichte Paket. Bei einer Erweiterung, die jede besuchte Seite verändern darf, sollte nachprüfbar sein, dass das Ausgelieferte dem Quelltext entspricht.

Kosten

Keine. Die Erweiterung ist quelloffen unter der Mozilla Public License 2.0. Wer sie nützlich findet, darf etwas dalassen — an der Erweiterung ändert das nichts, sie bleibt vollständig und ohne Bedingungen.