Создание администратора и первого проекта
Откройте http://localhost:8080/launchpad, создайте первую учётную запись администратора и войдите в систему. Затем следуйте разделу 6. Действия после установки руководства для Linux, используя порт8080 в приведённых там примерах URL.
Проверка компиляции
То, что страница входа открывается, ещё не доказывает, что отдельные контейнеры компилятора и их точки монтирования данных работают. Создайте пустой проект и скомпилируйте этотmain.tex:
Проверка сохранности данных
data/ Toolkit на вашем Mac.
Обеспечение доступности экземпляра
Пока Mac находится в спящем режиме, macOS приостанавливает виртуальную машину Docker Desktop вместе со всеми контейнерами в ней: никто не может открыть экземпляр, а выполняющаяся компиляция останавливается до пробуждения Mac. Значение имеет только сон системы. Дисплей может отключаться. Если экземпляром пользуются другие люди или вы оставляете выполняться длительные задачи, держите Mac подключённым к питанию и запретите автоматический переход в спящий режим, см. Настройка режима сна и пробуждения на Mac:
Чтобы не давать Mac засыпать лишь некоторое время, вместо этого выполните
caffeinate -i в окне Терминала. Эта команда предотвращает переход в спящий режим при бездействии, пока вы не нажмёте Ctrl+C или не закроете окно.
Docker Desktop — это приложение в вашем пользовательском сеансе. Чтобы экземпляр снова заработал после перезагрузки, включите Start Docker Desktop when you sign in to your computer в разделе Settings → General Docker Desktop. Контейнеры Toolkit используют restart: always, поэтому Docker снова запускает их, как только запускается Docker Desktop, без bin/up. Пока после перезагрузки никто не войдёт в систему на Mac, экземпляр остаётся недоступным.
Mac, который не переходит в спящий режим, потребляет больше энергии. Для сервиса, который должен быть доступен всегда, мы рекомендуем сервер Linux, см. Linux.
Повседневное использование
Откройте Docker Desktop, прежде чем управлять экземпляром. В новом терминале:bin/start не применяет изменения в config/: после редактирования конфигурации выполните bin/up -d. Сохраняйте config/ и data/ и следуйте разделу Данные и резервное копирование перед обновлением или переносом установки. Копирование файлов базы данных, пока MongoDB записывает в них, не является согласованной резервной копией.
Для локального использования оставляйте экземпляр на 127.0.0.1. Чтобы обслуживать другие компьютеры, осознанно настройте адрес прослушивания, URL сайта и HTTPS, см. раздел 5. Персонализация экземпляра руководства для Linux.
Если что-то не работает, см. раздел Устранение неполадок.
