Hinweise

Wir haben schlechte Erfahrungen damit gemacht, die Daten per WLAN runterzuladen. Für maximale Zuverlässigkeit und Stabilität empfehlen wir unbedingt Ethernet.

Außerdem funktioneren Teile der Software aus Gründen nur auf 64-bit-Systemen. Daher kann Diglit 3 nur auf kompatiblen Pis installiert werden. Welche das sind, kann man unter anderem in dieser Liste links nachsehen.

Getestet wurde der Installationsprozess mit Raspbian 12.7 (Bookworm). Bei früheren Releases befanden sich einige Bootoptionen unter /boot/ statt /boot/firmware/.

SD-Karte beschreiben

Am Besten geeignet ist ein aktuelles Raspbian-Lite-System. Die Installation geht allgemein zumindest von einem Debian-Derivat aus, aber mit minimalem Aufwand sollte das ganze auch mit anderen gängigen Distributionen funktionieren.

Am komfortabelsten lassen sich die SD-Karten mit dem Raspberry Pi Imager bespielen. Dieser kann mit apt install rpi-imager installiert (oder alternativ von https://raspberrypi.com/software runtergeladen) werden.

Das empfohlene System befindet sich im Imager unter Raspberry Pi OS (other) → Raspberry Pi OS Lite (64-bit).

Screenshot rpi-imager

Bevor die SD-Karte beschrieben wird, folgende Einstellungen setzen:

Set hostname: Der Hostname ergibt sich aus Gebäudenummer und Etage (z. B. diglit23 für FG2, 3. Etage). Sollte es mehrere Bildschirme auf einer Etage geben, werden Kleinbuchstaben angehängt (z. B. diglit23a, diglit23b).
Enable SSH: Use password authentication.
Set username and password: Benutzername ist diglit, Passwort bitte separat erfragen.
(optional) Configure wireless LAN: Nur, wenn der Pi nicht mit Ethernet betrieben wird, hier die WLAN-Zugangsdaten eintragen.
Set locale settings: Zeitzone auf Europe/Berlin und Tastaturlayout auf de setzen.

Screenshot rpi-imager Einstellungsdialog

Wenn der Schreibprozess abgeschlossen ist, die SD-Karte in einen Pi stecken, und diesen anschließen.

Ab hier sollte kein Hardware-Zugriff mehr erforderlich sein, der Pi kann also schon eingebaut werden.

SSH-Zugriff

Wenn der Pi hochgefahren ist, ein Terminal öffnen und eine ssh-Verbindung aufbauen (hier diglitXX durch den oben festgelegten Hostnamen ersetzen):

ssh diglit@diglitXX.local

Wenn der Computer den Pi noch nicht kennt (Are you sure you want to continue?), muss man an dieser Stelle noch einmal yes eingeben und mit Enter bestätigen.

Gelegentlich kommt es vor, dass der Pi beim ersten Booten nicht ins Netzwerk kommt. Wenn der Pi also auch nach mehreren Minuten nicht erreichbar ist, einfach einmal neustarten und nochmal versuchen.

Manchmal funktioniert die Namensauflösung nicht. Notfalls muss man sich über die lokale IP-Adresse (in der Regel diglit@192.168.x.x) verbinden, diese findet man über WLAN-Router, Tools wie nmap oder Herrn Baldauf. Außerdem wird sie beim Booten kurz über der Anmeldeaufforderung ausgegeben, wenn ein Bildschirm angeschlossen ist.

Setup

raspi-config

sudo raspi-config

Folgende Einstellungen müssen vorgenommen werden:

2 Display Options → D1 Underscan → Yes: schwarzen Rand entfernen
2 Display Options → D2 Screen Blanking → No: der Bildschirm soll an bleiben
Would you like to reboot now? → No

Die raspi-config-Entwickler:innen sind manchmal sehr lustig drauf und verschieben die Optionen. Falls das seit dem letzten Release passiert ist, muss man leider suchen.

Diglit

Für den Vetertunsgsplan gibt es ein nützliches Installscript (wichtig, nicht mit sudo ausführen):

curl 'https://diglit.gcm.schule/install.sh' | bash

Tokens

Ein Token kann mit folgendem Befehl generiert werden:

curl 'https://diglit.gcm.schule/generate_token.php?secret=GEHEIM&hostname=HOST'

In der URL muss GEHEIM mit dem geheimen Schlüssel (separat erfragen) und HOST mit dem Hostname des Pi ersetzt werden.

Der Token muss mit nano ~/diglit-token eingetragen werden (hier den Text enter token here ersetzen).

Weitere Cronjobs

Weitere Cronjobs können in /etc/cron.d/diglit3 konfiguriert werden.

Zum Beispiel kann der Plan nachts abgeschaltet werden:

30 7 * * 1-5 root /usr/sbin/service diglit3 start
30 15 * * 1-5 root /usr/sbin/service diglit3 stop

HDMI-Einstellungen

Wenn der Bildschirm nicht funktioniert, oder nach einiger Zeit von alleine ausgeht, kann es helfen, force hotplug zu aktivieren. Dazu folgende Zeile an den Anfang von /boot/firmware/config.txt einfügen:

hdmi_force_hotplug=1

Fertig

sudo reboot

Der Pi sollte nach einem Neustart mit wenigen Sekunden Verzögerung einen Vertretungsplan anzeigen.

Troubleshooting

Der Browser kann mit folgendem Befehl neugestartet werden (z. B. wenn ein reload erzwungen werden soll):

sudo service diglit3 restart

Falls der Bildschirm nicht funktioniert, oder nach einiger Zeit von alleine ausgeht, kann es helfen, force hotplug zu aktivieren. Siehe dazu § HDMI-Einstellungen

Die Crontab kann folgendermaßen bearbeitet werden:

sudo nano /etc/cron.d/diglit3