Den Administrator und ein erstes Projekt erstellen
Öffnen Sie http://localhost:8080/launchpad in Ihrem Windows-Browser, 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 funktionierende Anmeldeseite beweist nicht, dass die separaten Compiler-Container auf das WSL-Datenverzeichnis zugreifen können. Erstellen Sie ein leeres Projekt und kompilieren Sie diesemain.tex mit pdfLaTeX:
ctex und die erforderlichen Schriften enthält, etwa full, bevor Sie Folgendes mit XeLaTeX testen. Basic enthält sie nicht:
docker ps läuft; -a zeigt bis zur Bereinigung auch gestoppte Container an. Ein Compiler-Container sollte dieses Image und einen /compile-Bind-Mount aus dem WSL-Datenverzeichnis des Toolkit verwenden. Anwendungslogs allein ersetzen nicht die Prüfung des PDFs.
Die Persistenz prüfen
In Ubuntu, im Toolkit-Verzeichnis:~/ayakaleaf-toolkit/data/ innerhalb von Ubuntu. Bewahren Sie sowohl config/ als auch data/ auf; das Deinstallieren oder Abmelden der Ubuntu-Distribution kann sie löschen.
Die Instanz verfügbar halten
Damit die Instanz läuft, müssen drei Dinge gegeben sein: Windows bleibt wach, Docker Desktop läuft, und die Container starten mit der Engine neu. Aktivieren Sie in Docker Desktop unter Settings → General die Option Start Docker Desktop when you sign in to your computer, siehe Docker Desktop settings. Dadurch startet Docker nach der Anmeldung, nicht vor der Anmeldung. Melden Sie sich nach einem Windows-Neustart an, warten Sie, bis Docker Desktop vollständig gestartet ist, öffnen Sie Ubuntu und prüfen Siedocker ps und die Website.
Der Resource Saver von Docker Desktop ist vom Windows-Energiesparmodus unabhängig. Er wird normalerweise nur aktiv, wenn keine Container laufen; die laufende Anwendung, MongoDB und Redis verhindern diesen Leerlaufzustand. Unter WSL 2 pausiert er die Docker-Engine, statt die gemeinsam genutzte WSL-VM herunterzufahren. Pausieren Sie Docker Desktop nicht manuell mit Pause, während Sie Benutzer bedienen. Sie müssen den Resource Saver nicht deaktivieren, nur um diesen Stack am Laufen zu halten; siehe Dockers Dokumentation zum Resource Saver.
Die Dienste des Toolkit verwenden restart: always. Prüfen Sie die tatsächliche Einstellung in Ubuntu:
always melden. Sobald Docker läuft, kann es diese vorhandenen Container ohne erneutes bin/up neu starten. Ein manuell gestoppter Container bleibt gestoppt, bis Sie ihn starten oder die Engine neu starten; mit always kann ein Neustart der Engine ihn wieder starten. Siehe Dockers Verhalten bei Restart-Richtlinien.
Für den Dauerbetrieb im Netzbetrieb öffnen Sie in Windows 11 Einstellungen → System → Energie & Akku → Timeouts für Bildschirm, Energiesparmodus und Ruhezustand (manche Versionen zeigen Energie oder Bildschirm und Energiesparmodus). Setzen Sie das Timeout für den Energiesparmodus im Netzbetrieb auf Nie und deaktivieren Sie den automatischen Ruhezustand, falls konfiguriert. Der Bildschirm darf sich weiterhin ausschalten. Die Aktion beim Zuklappen eines Laptops ist eine separate Einstellung; das Zuklappen kann ihn auch bei einem Leerlauf-Timeout von „Nie“ in den Energiesparmodus versetzen. Siehe Energieeinstellungen in Windows.
Führen Sie
wsl --shutdown nicht als routinemäßige Bereinigung aus, während die Website genutzt wird. Wenn eine Änderung der WSL-Einstellungen es erfordert, stoppen Sie zuerst die Instanz und planen Sie eine Unterbrechung ein. Mit diesen Einstellungen kann Windows die Instanz dauerhaft betreiben. Für einen gemeinsam genutzten Dienst, der Abmeldungen und unbeaufsichtigte Neustarts überstehen muss, empfehlen wir die Linux-Anleitung.
Die Wiederherstellung nach einem Neustart von Docker Desktop prüfen
Nachdem Sie Ihre Arbeit gespeichert und aktive Kompilierungen haben abschließen lassen, wählen Sie im Troubleshooting-Menü von Docker Desktop Restart Docker Desktop. Warten Sie auf die Engine und prüfen Sie dann in Ubuntu:bin/stop gestoppt haben, verwenden Sie bin/start. Wenn Docker läuft, aber ein Dienst fehlschlägt, lesen Sie dessen Logs, statt die Konfiguration neu zu erstellen. Windows Update, Docker-Updates und Stromausfälle können eine Installation im 24-Stunden-Betrieb dennoch unterbrechen; erstellen Sie Backups und prüfen Sie die Wiederherstellung nach geplanten Wartungen.
Tägliche Nutzung
Starten Sie Docker Desktop in Windows. Öffnen Sie Ubuntu:bin/start übernimmt keine Konfigurationsänderungen: Verwenden Sie bin/up -d, nachdem Sie config/ geändert haben. Folgen Sie Daten und Backups, bevor Sie die WSL-Distribution aktualisieren, verschieben oder entfernen. Das Kopieren laufender MongoDB-Dateien, während die Datenbank schreibt, ist kein konsistentes Backup.
Belassen Sie für die lokale Nutzung 127.0.0.1. Um andere Computer zu bedienen, sind zusätzlich eine bewusst gewählte Listen-Adresse, Site-URL, Windows-Firewall-/Netzwerkkonfiguration und HTTPS erforderlich; das Ändern von OVERLEAF_SITE_URL allein veröffentlicht keinen Port.
Wenn etwas nicht funktioniert, siehe Fehlerbehebung.
