Den Administrator und ein erstes Projekt erstellen
Öffnen Sie http://localhost:8080/launchpad, erstellen Sie das erste Administratorkonto und melden Sie sich an. Folgen Sie dann 6. Aufgaben nach der Installation der Linux-Anleitung und verwenden Sie in deren Beispiel-URLs den Port8080.
Die Kompilierung prüfen
Eine Anmeldeseite, die sich öffnet, beweist nicht, dass die separaten Compiler-Container und ihre Daten-Mounts funktionieren. Erstellen Sie ein leeres Projekt und kompilieren Sie diesemain.tex:
Die Persistenz prüfen
data/ des Toolkit auf Ihrem Mac.
Die Instanz verfügbar halten
Während der Mac im Ruhezustand ist, hält macOS die virtuelle Maschine von Docker Desktop mit allen darin enthaltenen Containern an: Niemand kann die Instanz öffnen, und eine laufende Kompilierung stoppt, bis der Mac aufwacht. Nur der Ruhezustand des Systems ist relevant. Der Bildschirm darf sich ausschalten. Wenn andere Personen die Instanz nutzen oder Sie lange Aufgaben laufen lassen, halten Sie den Mac am Strom und verhindern Sie den automatischen Ruhezustand, siehe Einstellungen für Ruhezustand und Aktivierung auf dem Mac festlegen:
Um den Mac nur für eine gewisse Zeit wach zu halten, führen Sie stattdessen
caffeinate -i in einem Terminalfenster aus. Es verhindert den Ruhezustand bei Inaktivität, bis Sie Ctrl+C drücken oder das Fenster schließen.
Docker Desktop ist eine App in Ihrer Benutzersitzung. Damit die Instanz nach einem Neustart wieder verfügbar ist, aktivieren Sie Start Docker Desktop when you sign in to your computer unter Settings → General in Docker Desktop. Die Container des Toolkit verwenden restart: always, sodass Docker sie wieder startet, sobald Docker Desktop läuft, ohne bin/up. Bis sich nach einem Neustart jemand am Mac anmeldet, bleibt die Instanz offline.
Ein Mac, der wach bleibt, verbraucht mehr Strom. Für einen Dienst, der immer erreichbar sein muss, empfehlen wir einen Linux-Server, siehe Linux.
Tägliche Nutzung
Öffnen Sie Docker Desktop, bevor Sie die Instanz verwalten. In einem neuen Terminal:bin/start übernimmt keine Änderungen in config/: Führen Sie nach dem Bearbeiten der Konfiguration bin/up -d aus. Bewahren Sie config/ und data/ auf und folgen Sie Daten und Backups, bevor Sie ein Upgrade durchführen oder die Installation verschieben. Das Kopieren der Datenbankdateien, während MongoDB in sie schreibt, ist kein konsistentes Backup.
Belassen Sie die Instanz für die lokale Nutzung auf 127.0.0.1. Um andere Computer zu bedienen, legen Sie Listen-Adresse, Site-URL und HTTPS bewusst fest, siehe 5. Ihre Instanz personalisieren der Linux-Anleitung.
Wenn etwas nicht funktioniert, siehe Fehlerbehebung.
