Tworzenie administratora i pierwszego projektu
Otwórz http://localhost:8080/launchpad w przeglądarce w systemie Windows, utwórz pierwsze konto administratora i zaloguj się. Następnie postępuj zgodnie z krokiem 6. Zadania poinstalacyjne przewodnika dla systemu Linux, używając portu8080 w przykładowych adresach URL.
Weryfikacja kompilacji
Działająca strona logowania nie dowodzi, że osobne kontenery kompilatora mają dostęp do katalogu danych WSL. Utwórz pusty projekt i skompiluj tenmain.tex za pomocą pdfLaTeX:
ctex i wymagane fonty, takiego jak full. Obraz basic ich nie zawiera:
docker ps; -a pokazuje również zatrzymane kontenery, dopóki nie zostaną usunięte. Kontener kompilatora powinien używać tego obrazu i bind mountu /compile z katalogu danych Toolkit w WSL. Same logi aplikacji nie zastępują sprawdzenia pliku PDF.
Weryfikacja trwałości danych
W Ubuntu, w katalogu Toolkit:~/ayakaleaf-toolkit/data/ w Ubuntu. Zachowaj zarówno config/, jak i data/; odinstalowanie lub wyrejestrowanie dystrybucji Ubuntu może je usunąć.
Utrzymywanie dostępności instancji
Utrzymanie działania instancji składa się z trzech elementów: Windows nie przechodzi w stan uśpienia, Docker Desktop działa, a kontenery uruchamiają się ponownie wraz z silnikiem. W Settings → General Docker Desktop włącz Start Docker Desktop when you sign in to your computer, zobacz ustawienia Docker Desktop. Uruchamia to Dockera po zalogowaniu, a nie przed nim. Po ponownym uruchomieniu systemu Windows zaloguj się, poczekaj, aż Docker Desktop zakończy uruchamianie, otwórz Ubuntu i sprawdźdocker ps oraz witrynę.
Resource Saver w Docker Desktop to coś innego niż uśpienie systemu Windows. Zwykle włącza się tylko wtedy, gdy nie działają żadne kontenery; działająca aplikacja, MongoDB i Redis zapobiegają temu stanowi bezczynności. W WSL 2 wstrzymuje on silnik Dockera, zamiast wyłączać współdzieloną maszynę wirtualną WSL. Nie wstrzymuj ręcznie (Pause) Docker Desktop, gdy obsługujesz użytkowników. Nie musisz wyłączać Resource Saver tylko po to, aby ten stos działał; zobacz dokumentację Resource Saver Dockera.
Usługi Toolkit używają restart: always. Sprawdź rzeczywiste ustawienie w Ubuntu:
always. Gdy Docker działa, może ponownie uruchomić te istniejące kontenery bez nowego bin/up. Ręcznie zatrzymany kontener pozostaje zatrzymany, dopóki go nie uruchomisz lub nie uruchomisz ponownie silnika; przy always ponowne uruchomienie silnika może go znowu uruchomić. Zobacz działanie zasad restartu w Dockerze.
Do długotrwałego działania przy zasilaniu sieciowym otwórz w systemie Windows 11 Settings → System → Power & battery → Screen, sleep & hibernate timeouts (niektóre wersje pokazują Power lub Screen and sleep). Ustaw limit czasu uśpienia przy podłączonym zasilaniu na Never i wyłącz automatyczną hibernację, jeśli jest skonfigurowana. Ekran nadal może się wyłączać. Działanie po zamknięciu pokrywy laptopa to osobne ustawienie; zamknięcie pokrywy może uśpić komputer nawet przy limicie czasu bezczynności ustawionym na Never. Zobacz ustawienia zasilania systemu Windows.
Nie uruchamiaj
wsl --shutdown w ramach rutynowego porządkowania, gdy witryna jest używana. Jeśli wymaga tego zmiana ustawień WSL, najpierw zatrzymaj instancję i zaplanuj przerwę. Przy tych ustawieniach Windows może uruchamiać instancję w sposób ciągły. Dla usługi współdzielonej, która musi przetrwać wylogowania i nienadzorowane ponowne uruchomienia, zalecamy przewodnik dla systemu Linux.
Sprawdzanie przywracania po ponownym uruchomieniu Docker Desktop
Po zapisaniu pracy i zakończeniu aktywnych kompilacji wybierz Restart Docker Desktop z menu rozwiązywania problemów Docker Desktop. Poczekaj na silnik, a następnie sprawdź w Ubuntu:bin/stop, użyj bin/start. Jeśli Docker działa, ale usługa zawodzi, przeczytaj jej logi, zamiast odtwarzać konfigurację. Aktualizacje systemu Windows, aktualizacje Dockera i utrata zasilania nadal mogą przerwać działanie instalacji pracującej przez całą dobę; twórz kopie zapasowe i sprawdzaj przywracanie po planowanej konserwacji.
Codzienne użytkowanie
Uruchom Docker Desktop w systemie Windows. Otwórz Ubuntu:bin/start nie stosuje zmian konfiguracji: po zmianie config/ użyj bin/up -d. Przed aktualizacją, przeniesieniem lub usunięciem dystrybucji WSL postępuj zgodnie z instrukcją Dane i kopie zapasowe. Kopiowanie bieżących plików MongoDB w trakcie zapisu przez bazę danych nie daje spójnej kopii zapasowej.
Do użytku lokalnego pozostaw 127.0.0.1. Obsługa innych komputerów wymaga też świadomie ustawionego adresu nasłuchiwania, adresu URL witryny, konfiguracji zapory/sieci systemu Windows oraz HTTPS; sama zmiana OVERLEAF_SITE_URL nie publikuje portu.
Jeśli coś nie działa, zobacz Rozwiązywanie problemów.
