Vytvoření administrátora a prvního projektu
V prohlížeči ve Windows otevřete http://localhost:8080/launchpad, vytvořte první administrátorský účet a přihlaste se. Poté postupujte podle kroku 6. Úlohy po instalaci návodu pro Linux a v jeho ukázkových URL použijte port8080.
Ověření kompilace
Funkční přihlašovací stránka nedokazuje, že samostatné kompilační kontejnery mají přístup k datovému adresáři WSL. Vytvořte prázdný projekt a zkompilujte tentomain.tex pomocí pdfLaTeX:
ctex a potřebná písma, například full, a teprve pak otestujte následující příklad pomocí XeLaTeX. Image basic je neobsahuje:
docker ps spustí; -a zobrazuje i zastavené kontejnery, dokud nejsou uklizeny. Kompilační kontejner by měl používat tento image a bind mount /compile z datového adresáře Toolkitu ve WSL. Samotné logy aplikace nenahrazují kontrolu PDF.
Ověření trvalosti dat
V Ubuntu v adresáři Toolkitu:~/ayakaleaf-toolkit/data/ uvnitř Ubuntu. Uchovejte config/ i data/; odinstalace nebo zrušení registrace distribuce Ubuntu je může smazat.
Zajištění dostupnosti instance
Udržení instance v provozu má tři části: Windows zůstávají vzhůru, Docker Desktop běží a kontejnery se restartují spolu s enginem. V Docker Desktop v Settings → General zapněte Start Docker Desktop when you sign in to your computer, viz nastavení Docker Desktop. Docker se tak spustí po přihlášení, nikoli před ním. Po restartu Windows se přihlaste, počkejte, až se Docker Desktop dokončí spouštění, otevřete Ubuntu a zkontrolujtedocker ps a web.
Resource Saver v Docker Desktop je nezávislý na spánku Windows. Obvykle se aktivuje jen tehdy, když neběží žádné kontejnery; běžící aplikace, MongoDB a Redis tomuto stavu nečinnosti brání. Na WSL 2 pozastaví engine Dockeru, místo aby vypnul sdílený virtuální počítač WSL. Během obsluhy uživatelů Docker Desktop ručně nepozastavujte (Pause). Resource Saver nemusíte vypínat jen kvůli tomu, aby tento stack běžel; viz dokumentace Dockeru k Resource Saver.
Služby Toolkitu používají restart: always. Skutečné nastavení ověřte v Ubuntu:
always. Jakmile Docker běží, může tyto existující kontejnery restartovat bez nového bin/up. Ručně zastavený kontejner zůstává zastavený, dokud jej nespustíte nebo nerestartujete engine; s always jej restart enginu může znovu spustit. Viz chování zásad restartu v Dockeru.
Pro dlouhodobý provoz při napájení ze sítě otevřete ve Windows 11 Settings → System → Power & battery → Screen, sleep & hibernate timeouts (některé verze zobrazují Power nebo Screen and sleep). Nastavte časový limit spánku při připojení k napájení na Never a vypněte automatickou hibernaci, pokud je nastavena. Displej se stále může vypnout. Akce při zavření víka notebooku je samostatné nastavení; zavření víka jej může uspat, i když je časový limit spánku při nečinnosti nastaven na Never. Viz nastavení napájení ve Windows.
Nespouštějte
wsl --shutdown jako běžný úklid, zatímco se web používá. Pokud to vyžaduje změna nastavení WSL, nejprve instanci zastavte a naplánujte přerušení. S tímto nastavením mohou Windows instanci provozovat nepřetržitě. Pro sdílenou službu, která musí přežít odhlášení a restarty bez obsluhy, doporučujeme návod pro Linux.
Ověření obnovy po restartu Docker Desktop
Po uložení práce a dokončení probíhajících kompilací zvolte v nabídce řešení problémů Docker Desktop Restart Docker Desktop. Počkejte na engine a poté v Ubuntu zkontrolujte:bin/stop, použijte bin/start. Pokud Docker běží, ale některá služba selhává, místo opětovného vytváření konfigurace si přečtěte její logy. Windows Update, aktualizace Dockeru a výpadek napájení mohou stále přerušit nepřetržitou instalaci; udržujte zálohy a po plánované údržbě obnovu zkontrolujte.
Každodenní používání
Ve Windows spusťte Docker Desktop. Otevřete Ubuntu:bin/start nepoužije úpravy konfigurace: po změně config/ použijte bin/up -d. Před upgradem, přesunem nebo odstraněním distribuce WSL postupujte podle návodu Data a zálohy. Kopírování živých souborů MongoDB, zatímco do nich databáze zapisuje, není konzistentní záloha.
Pro lokální použití ponechte 127.0.0.1. Obsluha dalších počítačů vyžaduje také záměrně nastavenou adresu naslouchání, URL webu, konfiguraci brány firewall a sítě ve Windows a HTTPS; samotná změna OVERLEAF_SITE_URL žádný port nezveřejní.
Pokud něco nefunguje, viz Řešení problémů.
