Tạo quản trị viên và dự án đầu tiên
Mở http://localhost:8080/launchpad trong trình duyệt trên Windows, tạo tài khoản quản trị viên đầu tiên và đăng nhập. Sau đó làm theo 6. Các tác vụ sau cài đặt của hướng dẫn cho Linux, sử dụng cổng8080 trong các URL ví dụ của nó.
Xác minh việc biên dịch
Một trang đăng nhập hoạt động không chứng minh rằng các container trình biên dịch riêng biệt có thể truy cập thư mục dữ liệu WSL. Hãy tạo một dự án trống và biên dịch tệpmain.tex này bằng pdfLaTeX:
ctex và các phông chữ cần thiết, chẳng hạn như image full, trước khi kiểm tra đoạn sau với XeLaTeX. Image basic không bao gồm chúng:
docker ps chạy; -a cũng hiển thị các container đã dừng cho đến khi được dọn dẹp. Một container trình biên dịch phải dùng image đó và một bind mount /compile từ thư mục dữ liệu WSL của Toolkit. Chỉ riêng log của ứng dụng không thể thay thế cho việc kiểm tra PDF.
Xác minh tính bền vững của dữ liệu
Trong Ubuntu, từ thư mục Toolkit:~/ayakaleaf-toolkit/data/ bên trong Ubuntu. Hãy giữ cả config/ và data/; việc gỡ cài đặt hoặc hủy đăng ký bản phân phối Ubuntu có thể xóa chúng.
Giữ cho phiên bản luôn khả dụng
Có ba yếu tố để giữ phiên bản luôn chạy: Windows luôn thức, Docker Desktop đang chạy, và các container khởi động lại cùng với engine. Trong Settings → General của Docker Desktop, bật Start Docker Desktop when you sign in to your computer, xem Thiết lập Docker Desktop. Thiết lập này khởi động Docker sau khi đăng nhập, không phải trước khi đăng nhập. Sau khi Windows khởi động lại, hãy đăng nhập, đợi Docker Desktop khởi động xong, mở Ubuntu và kiểm tradocker ps cũng như trang web.
Resource Saver của Docker Desktop tách biệt với chế độ ngủ của Windows. Nó thường chỉ kích hoạt khi không có container nào đang chạy; ứng dụng, MongoDB và Redis đang chạy sẽ ngăn điều kiện nhàn rỗi đó. Trên WSL 2, nó tạm dừng Docker engine thay vì tắt máy ảo WSL dùng chung. Không Pause Docker Desktop thủ công trong khi đang phục vụ người dùng. Bạn không cần tắt Resource Saver chỉ để giữ stack này chạy; xem tài liệu Resource Saver của Docker.
Các dịch vụ của Toolkit sử dụng restart: always. Hãy xác minh thiết lập thực tế trong Ubuntu:
always. Khi Docker chạy, nó có thể khởi động lại các container hiện có đó mà không cần bin/up mới. Một container bị dừng thủ công sẽ vẫn dừng cho đến khi bạn khởi động nó hoặc khởi động lại engine; với always, việc khởi động lại engine có thể khởi động lại nó. Xem hành vi của restart policy trong Docker.
Để sử dụng lâu dài khi cắm nguồn AC, hãy mở Settings → System → Power & battery → Screen, sleep & hibernate timeouts của Windows 11 (một số phiên bản hiển thị Power hoặc Screen and sleep). Đặt thời gian chờ ngủ khi cắm nguồn thành Never và tắt chế độ ngủ đông tự động nếu đã được cấu hình. Màn hình vẫn có thể tắt. Hành động khi gập nắp laptop là một thiết lập riêng; gập nắp có thể khiến máy chuyển sang chế độ ngủ ngay cả khi thời gian chờ ngủ khi nhàn rỗi là Never. Xem thiết lập nguồn của Windows.
Không chạy
wsl --shutdown như một thao tác dọn dẹp thường xuyên khi trang web đang được sử dụng. Nếu một thay đổi thiết lập WSL cần đến nó, hãy dừng phiên bản trước và lên kế hoạch cho khoảng thời gian gián đoạn. Windows có thể chạy phiên bản liên tục với các thiết lập này. Đối với một dịch vụ dùng chung phải tiếp tục hoạt động qua các lần đăng xuất và khởi động lại không có người giám sát, chúng tôi khuyến nghị hướng dẫn cho Linux.
Kiểm tra khả năng khôi phục sau khi khởi động lại Docker Desktop
Sau khi lưu công việc và để các lần biên dịch đang chạy hoàn tất, hãy chọn Restart Docker Desktop từ menu khắc phục sự cố của Docker Desktop. Đợi engine khởi động, sau đó kiểm tra trong Ubuntu:bin/stop, hãy dùng bin/start. Nếu Docker đang chạy nhưng một dịch vụ bị lỗi, hãy đọc log của nó thay vì tạo lại cấu hình. Windows Update, các bản cập nhật Docker và mất điện vẫn có thể làm gián đoạn một bản cài đặt chạy 24 giờ; hãy giữ các bản sao lưu và kiểm tra khả năng khôi phục sau các đợt bảo trì theo kế hoạch.
Sử dụng hằng ngày
Khởi động Docker Desktop trong Windows. Mở Ubuntu:bin/start không áp dụng các chỉnh sửa cấu hình: hãy dùng bin/up -d sau khi thay đổi config/. Hãy làm theo Dữ liệu và sao lưu trước khi nâng cấp, di chuyển hoặc gỡ bỏ bản phân phối WSL. Sao chép các tệp MongoDB đang hoạt động trong khi cơ sở dữ liệu đang ghi không phải là một bản sao lưu nhất quán.
Hãy giữ 127.0.0.1 khi dùng cục bộ. Để phục vụ các máy tính khác, bạn cũng cần chủ động thiết lập địa chỉ lắng nghe, URL trang web, cấu hình tường lửa/mạng của Windows và HTTPS; chỉ thay đổi OVERLEAF_SITE_URL không publish một cổng.
Nếu có gì đó không hoạt động, hãy xem Khắc phục sự cố.
