Yöneticiyi ve ilk projeyi oluşturma
Windows tarayıcınızda http://localhost:8080/launchpad adresini açın, ilk yönetici hesabını oluşturun ve giriş yapın. Ardından örnek URL’lerde8080 portunu kullanarak Linux kılavuzunun 6. Kurulum sonrası görevler bölümünü izleyin.
Derlemeyi doğrulama
Çalışan bir giriş sayfası, ayrı derleyici konteynerlerinin WSL veri dizinine erişebildiğini kanıtlamaz. Boş bir proje oluşturun ve şumain.tex dosyasını pdfLaTeX ile derleyin:
ctex ve gerekli yazı tiplerini içeren bir imaj kullanın. Basic bunları içermez:
docker ps çalışmadan önce bitebilir; -a durdurulmuş konteynerleri de temizlenene kadar gösterir. Bir derleyici konteyneri bu imajı ve Toolkit’in WSL veri dizininden bir /compile bind mount’unu kullanmalıdır. Uygulama günlükleri tek başına PDF’i kontrol etmenin yerini tutmaz.
Kalıcılığı doğrulama
Ubuntu’da, Toolkit dizininden:~/ayakaleaf-toolkit/data/ dizinindedir. Hem config/ hem de data/ dizinlerini saklayın; Ubuntu dağıtımını kaldırmak veya kaydını silmek bunları silebilir.
Örneği erişilebilir tutun
Örneği çalışır durumda tutmanın üç bileşeni vardır: Windows uyanık kalır, Docker Desktop çalışır ve konteynerler motorla birlikte yeniden başlar. Docker Desktop Settings → General içinde Start Docker Desktop when you sign in to your computer seçeneğini açın; bkz. Docker Desktop ayarları. Bu, Docker’ı oturum açmadan önce değil, oturum açtıktan sonra başlatır. Windows yeniden başladıktan sonra oturum açın, Docker Desktop’ın başlamasını bekleyin, Ubuntu’yu açın vedocker ps çıktısını ve siteyi kontrol edin.
Docker Desktop’ın Resource Saver özelliği Windows uykusundan ayrıdır. Normalde yalnızca hiçbir konteyner çalışmadığında etkinleşir; çalışan uygulama, MongoDB ve Redis bu boşta kalma durumunu engeller. WSL 2’de paylaşılan WSL sanal makinesini kapatmak yerine Docker motorunu duraklatır. Kullanıcılara hizmet verirken Docker Desktop’ı elle Pause etmeyin. Yalnızca bu yığını çalışır durumda tutmak için Resource Saver’ı devre dışı bırakmanız gerekmez; bkz. Docker’ın Resource Saver belgeleri.
Toolkit hizmetleri restart: always kullanır. Gerçek ayarı Ubuntu’da doğrulayın:
always bildirmelidir. Docker çalıştığında, bu mevcut konteynerleri yeni bir bin/up olmadan yeniden başlatabilir. Elle durdurulan bir konteyner, siz onu başlatana veya motoru yeniden başlatana kadar durdurulmuş kalır; always ile bir motor yeniden başlatması onu yeniden başlatabilir. Bkz. Docker’ın yeniden başlatma ilkesi davranışı.
AC güçte uzun süreli kullanım için Windows 11 Settings → System → Power & battery → Screen, sleep & hibernate timeouts yolunu açın (bazı sürümlerde Power veya Screen and sleep görünür). Prize takılıyken uyku zaman aşımını Never olarak ayarlayın ve yapılandırılmışsa otomatik hazırda bekletmeyi devre dışı bırakın. Ekran yine de kapanabilir. Dizüstü bilgisayarın kapak eylemi ayrı bir ayardır; boşta uyku zaman aşımı Never olsa bile kapağı kapatmak bilgisayarı uyku moduna alabilir. Bkz. Windows güç ayarları.
Site kullanımdayken
wsl --shutdown komutunu rutin bir temizlik işlemi olarak çalıştırmayın. Bir WSL ayar değişikliği bunu gerektiriyorsa önce örneği durdurun ve bir kesinti planlayın. Windows bu ayarlarla örneği sürekli çalıştırabilir. Oturum kapatmalara ve gözetimsiz yeniden başlatmalara dayanması gereken paylaşılan bir hizmet için Linux kılavuzunu öneririz.
Docker Desktop’ı yeniden başlattıktan sonra kurtarmayı kontrol etme
Çalışmaları kaydettikten ve etkin derlemelerin bitmesine izin verdikten sonra Docker Desktop’ın sorun giderme menüsünden Restart Docker Desktop seçeneğini seçin. Motoru bekleyin, ardından Ubuntu’da kontrol edin:bin/stop ile durdurduysanız bin/start kullanın. Docker çalışıyor ancak bir hizmet başarısız oluyorsa yapılandırmayı yeniden oluşturmak yerine günlüklerini okuyun. Windows Update, Docker güncellemeleri ve elektrik kesintileri 24 saat çalışan bir kurulumu yine de kesintiye uğratabilir; yedek alın ve planlı bakımdan sonra kurtarmayı kontrol edin.
Günlük kullanım
Windows’ta Docker Desktop’ı başlatın. Ubuntu’yu açın:bin/start yapılandırma düzenlemelerini uygulamaz: config/ değiştirildikten sonra bin/up -d kullanın. WSL dağıtımını yükseltmeden, taşımadan veya kaldırmadan önce Veriler ve yedeklemeler kılavuzunu izleyin. Veritabanı yazarken canlı MongoDB dosyalarını kopyalamak tutarlı bir yedekleme değildir.
Yerel kullanım için 127.0.0.1 değerini koruyun. Diğer bilgisayarlara hizmet vermek ayrıca bilinçli olarak ayarlanmış bir dinleme adresi, site URL’si, Windows güvenlik duvarı/ağ yapılandırması ve HTTPS gerektirir; yalnızca OVERLEAF_SITE_URL değerini değiştirmek bir portu yayımlamaz.
Bir şey çalışmazsa Sorun giderme sayfasına bakın.
