Membuat administrator dan proyek pertama
Buka http://localhost:8080/launchpad di browser Windows Anda, buat akun administrator pertama, lalu login. Kemudian ikuti 6. Tugas pasca-instalasi pada panduan Linux, dengan menggunakan port8080 di URL contohnya.
Memverifikasi kompilasi
Halaman login yang berfungsi tidak membuktikan bahwa kontainer compiler terpisah dapat mengakses direktori data WSL. Buat proyek kosong dan kompilasimain.tex berikut dengan pdfLaTeX:
ctex dan font yang diperlukan, seperti full, sebelum menguji contoh berikut dengan XeLaTeX. Image basic tidak menyertakannya:
docker ps dijalankan; -a juga menampilkan kontainer yang sudah berhenti hingga dibersihkan. Kontainer compiler seharusnya menggunakan image tersebut dan bind mount /compile dari direktori data WSL milik Toolkit. Log aplikasi saja tidak dapat menggantikan pemeriksaan PDF.
Memverifikasi persistensi
Di Ubuntu, dari direktori Toolkit:~/ayakaleaf-toolkit/data/ di dalam Ubuntu. Simpan config/ dan data/; menghapus instalasi atau membatalkan registrasi distribusi Ubuntu dapat menghapus keduanya.
Menjaga instance tetap tersedia
Ada tiga bagian untuk menjaga instance tetap berjalan: Windows tetap aktif, Docker Desktop berjalan, dan kontainer di-restart bersama engine. Di Settings → General Docker Desktop, aktifkan Start Docker Desktop when you sign in to your computer, lihat pengaturan Docker Desktop. Ini menjalankan Docker setelah login, bukan sebelum login. Setelah Windows di-restart, login, tunggu hingga Docker Desktop selesai dijalankan, buka Ubuntu, lalu periksadocker ps dan situs.
Resource Saver Docker Desktop terpisah dari mode tidur Windows. Fitur ini biasanya hanya aktif saat tidak ada kontainer yang berjalan; aplikasi, MongoDB, dan Redis yang sedang berjalan mencegah kondisi idle tersebut. Di WSL 2, fitur ini menjeda engine Docker, bukan mematikan VM WSL bersama. Jangan melakukan Pause Docker Desktop secara manual saat melayani pengguna. Anda tidak perlu menonaktifkan Resource Saver hanya untuk menjaga stack ini tetap berjalan; lihat dokumentasi Resource Saver Docker.
Layanan Toolkit menggunakan restart: always. Verifikasi pengaturan sebenarnya di Ubuntu:
always. Setelah Docker berjalan, Docker dapat me-restart kontainer yang sudah ada tersebut tanpa bin/up baru. Kontainer yang dihentikan secara manual tetap berhenti hingga Anda menjalankannya atau me-restart engine; dengan always, restart engine dapat menjalankannya kembali. Lihat perilaku restart policy Docker.
Untuk penggunaan jangka panjang dengan daya listrik, buka Settings → System → Power & battery → Screen, sleep & hibernate timeouts di Windows 11 (beberapa versi menampilkan Power atau Screen and sleep). Atur batas waktu tidur saat terhubung ke daya menjadi Never dan nonaktifkan hibernasi otomatis jika dikonfigurasi. Layar tetap boleh mati. Tindakan saat lid laptop ditutup adalah pengaturan terpisah; menutup lid dapat membuat laptop masuk ke mode tidur meskipun batas waktu tidur saat idle diatur ke Never. Lihat pengaturan daya Windows.
Jangan menjalankan
wsl --shutdown sebagai pembersihan rutin saat situs sedang digunakan. Jika perubahan pengaturan WSL memerlukannya, hentikan instance terlebih dahulu dan rencanakan interupsinya. Windows dapat menjalankan instance secara terus-menerus dengan pengaturan ini. Untuk layanan bersama yang harus tetap berjalan meskipun pengguna logout dan reboot tanpa pengawasan, kami merekomendasikan panduan Linux.
Memeriksa pemulihan setelah me-restart Docker Desktop
Setelah menyimpan pekerjaan dan membiarkan kompilasi aktif selesai, pilih Restart Docker Desktop dari menu troubleshooting Docker Desktop. Tunggu engine siap, lalu periksa di Ubuntu:bin/stop, gunakan bin/start. Jika Docker berjalan tetapi sebuah layanan gagal, baca lognya alih-alih membuat ulang konfigurasi. Windows Update, pembaruan Docker, dan pemadaman listrik tetap dapat menginterupsi instalasi yang berjalan 24 jam; simpan backup dan periksa pemulihan setelah pemeliharaan terencana.
Penggunaan sehari-hari
Jalankan Docker Desktop di Windows. Buka Ubuntu:bin/start tidak menerapkan perubahan konfigurasi: gunakan bin/up -d setelah mengubah config/. Ikuti Data dan backup sebelum meng-upgrade, memindahkan, atau menghapus distribusi WSL. Menyalin file MongoDB yang aktif saat database sedang menulis bukanlah backup yang konsisten.
Pertahankan 127.0.0.1 untuk penggunaan lokal. Melayani komputer lain juga memerlukan alamat listen, URL situs, konfigurasi firewall/jaringan Windows, dan HTTPS yang diatur secara sengaja; mengubah OVERLEAF_SITE_URL saja tidak memublikasikan port.
Jika ada yang tidak berfungsi, lihat Pemecahan masalah.
