Створення адміністратора та першого проєкту
Відкрийте http://localhost:8080/launchpad у браузері Windows, створіть перший обліковий запис адміністратора та увійдіть. Потім виконайте кроки з розділу 6. Завдання після встановлення посібника для Linux, використовуючи порт8080 у прикладах URL.
Перевірка компіляції
Робоча сторінка входу не доводить, що окремі контейнери компілятора мають доступ до каталогу даних WSL. Створіть порожній проєкт і скомпілюйте цейmain.tex за допомогою pdfLaTeX:
ctex і потрібні шрифти, наприклад повний. Базовий образ їх не містить:
docker ps; -a також показує зупинені контейнери до їх очищення. Контейнер компілятора має використовувати цей образ і bind mount /compile з каталогу даних Toolkit у WSL. Самі лише журнали застосунку не замінюють перевірки PDF.
Перевірка збереження даних
В Ubuntu, у каталозі Toolkit:~/ayakaleaf-toolkit/data/ всередині Ubuntu. Зберігайте і config/, і data/; видалення або скасування реєстрації дистрибутива Ubuntu може їх знищити.
Підтримання доступності екземпляра
Щоб екземпляр працював постійно, потрібні три умови: Windows не засинає, Docker Desktop працює, а контейнери перезапускаються разом із рушієм. У Settings → General Docker Desktop увімкніть Start Docker Desktop when you sign in to your computer, див. Docker Desktop settings. Це запускає Docker після входу, а не до нього. Після перезавантаження Windows увійдіть у систему, дочекайтеся повного запуску Docker Desktop, відкрийте Ubuntu й перевіртеdocker ps і сайт.
Resource Saver у Docker Desktop не пов’язаний зі сплячим режимом Windows. Зазвичай він активується лише тоді, коли не запущено жодного контейнера; запущені застосунок, MongoDB і Redis не допускають цього стану бездіяльності. На WSL 2 він призупиняє рушій Docker, а не вимикає спільну віртуальну машину WSL. Не призупиняйте Docker Desktop вручну за допомогою Pause, поки обслуговуєте користувачів. Вимикати Resource Saver лише для того, щоб цей стек працював, не потрібно; див. документацію Docker про Resource Saver.
Сервіси Toolkit використовують restart: always. Перевірте фактичне налаштування в Ubuntu:
always. Щойно Docker запущено, він може перезапустити ці наявні контейнери без нового bin/up. Контейнер, зупинений вручну, залишається зупиненим, доки ви його не запустите або не перезапустите рушій; з always перезапуск рушія може знову його запустити. Див. поведінку політик перезапуску Docker.
Для тривалої роботи від мережі відкрийте у Windows 11 Settings → System → Power & battery → Screen, sleep & hibernate timeouts (у деяких версіях — Power або Screen and sleep). Установіть для часу переходу в сплячий режим під час живлення від мережі значення Never і вимкніть автоматичну гібернацію, якщо її налаштовано. Дисплей при цьому може вимикатися. Дія під час закриття кришки ноутбука — окреме налаштування; закриття кришки може перевести ноутбук у сплячий режим, навіть якщо тайм-аут бездіяльності має значення Never. Див. параметри живлення Windows.
Не виконуйте
wsl --shutdown як звичайне очищення, поки сайт використовується. Якщо зміна налаштувань WSL цього потребує, спершу зупиніть екземпляр і заплануйте перерву в роботі. З цими налаштуваннями Windows може запускати екземпляр безперервно. Для спільного сервісу, який має переживати вихід із системи та перезавантаження без нагляду, ми рекомендуємо посібник для Linux.
Перевірка відновлення після перезапуску Docker Desktop
Після збереження роботи й завершення активних компіляцій виберіть Restart Docker Desktop у меню усунення несправностей Docker Desktop. Дочекайтеся запуску рушія, а потім перевірте в Ubuntu:bin/stop, використайте bin/start. Якщо Docker працює, але сервіс не запускається, перегляньте його журнали, а не перестворюйте конфігурацію. Windows Update, оновлення Docker і втрата живлення все одно можуть перервати цілодобову роботу інсталяції; створюйте резервні копії та перевіряйте відновлення після планового обслуговування.
Щоденне використання
Запустіть Docker Desktop у Windows. Відкрийте Ubuntu:bin/start не застосовує зміни конфігурації: після зміни config/ використовуйте bin/up -d. Перед оновленням, перенесенням або видаленням дистрибутива WSL дотримуйтеся інструкцій з розділу Дані та резервні копії. Копіювання робочих файлів MongoDB, поки база даних у них записує, не є узгодженою резервною копією.
Для локального використання залишайте 127.0.0.1. Щоб обслуговувати інші комп’ютери, також потрібно свідомо налаштувати адресу прослуховування, URL сайту, брандмауер і мережу Windows та HTTPS; сама лише зміна OVERLEAF_SITE_URL не публікує порт.
Якщо щось не працює, див. Усунення несправностей.
