Ylläpitäjän ja ensimmäisen projektin luominen
Avaa Windows-selaimessasi http://localhost:8080/launchpad, luo ensimmäinen ylläpitäjätili ja kirjaudu sisään. Noudata sitten Linux-oppaan sivua 6. Asennuksen jälkeiset tehtävät ja käytä sen esimerkki-URL-osoitteissa porttia8080.
Käännöksen varmistaminen
Toimiva kirjautumissivu ei todista, että erilliset kääntäjäkontit pääsevät WSL:n datahakemistoon. Luo tyhjä projekti ja käännä tämämain.tex pdfLaTeXilla:
ctex:n ja tarvittavat fontit, kuten full-imagea, ennen kuin testaat seuraavaa XeLaTeXilla. Basic ei sisällä niitä:
docker ps ehtii suorittua; -a näyttää myös pysäytetyt kontit siivoukseen asti. Kääntäjäkontin pitäisi käyttää kyseistä imagea ja /compile-bind-liitosta Toolkitin WSL-datahakemistosta. Pelkät sovelluslokit eivät korvaa PDF:n tarkistamista.
Pysyvyyden varmistaminen
Ubuntussa Toolkit-hakemistossa:~/ayakaleaf-toolkit/data/. Säilytä sekä config/ että data/; Ubuntu-jakelun poistaminen tai sen rekisteröinnin purkaminen voi poistaa ne.
Pidä instanssi saatavilla
Instanssin pitämisessä käynnissä on kolme osaa: Windows pysyy hereillä, Docker Desktop on käynnissä ja kontit käynnistyvät uudelleen moottorin mukana. Ota Docker Desktopin kohdassa Settings → General käyttöön Start Docker Desktop when you sign in to your computer, katso Docker Desktopin asetukset. Tämä käynnistää Dockerin kirjautumisen jälkeen, ei ennen sitä. Kun Windows on käynnistetty uudelleen, kirjaudu sisään, odota Docker Desktopin käynnistymisen valmistumista, avaa Ubuntu ja tarkistadocker ps ja sivusto.
Docker Desktopin Resource Saver on erillinen Windowsin lepotilasta. Se aktivoituu yleensä vain, kun yhtään konttia ei ole käynnissä; käynnissä oleva sovellus, MongoDB ja Redis estävät tämän joutokäyntitilan. WSL 2:ssa se keskeyttää Docker-moottorin sen sijaan, että sammuttaisi jaetun WSL-virtuaalikoneen. Älä keskeytä Docker Desktopia manuaalisesti Pause-toiminnolla, kun palvelet käyttäjiä. Resource Saveria ei tarvitse poistaa käytöstä vain tämän kokonaisuuden pitämiseksi käynnissä; katso Dockerin Resource Saver -dokumentaatio.
Toolkitin palvelut käyttävät asetusta restart: always. Tarkista todellinen asetus Ubuntussa:
always. Kun Docker on käynnissä, se voi käynnistää nämä olemassa olevat kontit uudelleen ilman uutta bin/up-komentoa. Manuaalisesti pysäytetty kontti pysyy pysäytettynä, kunnes käynnistät sen tai käynnistät moottorin uudelleen; asetuksella always moottorin uudelleenkäynnistys voi käynnistää sen jälleen. Katso Dockerin uudelleenkäynnistyskäytäntöjen toiminta.
Pitkäaikaista käyttöä varten verkkovirralla avaa Windows 11:n Settings → System → Power & battery → Screen, sleep & hibernate timeouts (joissakin versioissa näkyy Power tai Screen and sleep). Aseta verkkovirran lepotilan aikakatkaisuksi Never ja poista automaattinen horrostila käytöstä, jos se on määritetty. Näyttö saa silti sammua. Kannettavan kannen toiminto on erillinen asetus; kannen sulkeminen voi asettaa sen lepotilaan, vaikka joutokäynnin lepotilan aikakatkaisu olisi Never. Katso Windowsin virta-asetukset.
Älä suorita komentoa
wsl --shutdown rutiininomaisena siivouksena, kun sivusto on käytössä. Jos WSL-asetusten muutos vaatii sitä, pysäytä instanssi ensin ja suunnittele katkos. Windows voi ajaa instanssia jatkuvasti näillä asetuksilla. Jaettua palvelua varten, jonka on kestettävä uloskirjautumiset ja valvomattomat uudelleenkäynnistykset, suosittelemme Linux-opasta.
Palautumisen tarkistaminen Docker Desktopin uudelleenkäynnistyksen jälkeen
Kun työ on tallennettu ja aktiiviset käännökset ovat valmistuneet, valitse Docker Desktopin vianmääritysvalikosta Restart Docker Desktop. Odota moottoria ja tarkista sitten Ubuntussa:bin/stop, käytä komentoa bin/start. Jos Docker on käynnissä mutta jokin palvelu epäonnistuu, lue sen lokit sen sijaan, että loisit määritykset uudelleen. Windows Update, Docker-päivitykset ja sähkökatkot voivat silti keskeyttää ympärivuorokautisen asennuksen; pidä varmuuskopioita ja tarkista palautuminen suunnitellun huollon jälkeen.
Päivittäinen käyttö
Käynnistä Docker Desktop Windowsissa. Avaa Ubuntu:bin/start ei ota käyttöön määritysmuutoksia: käytä komentoa bin/up -d, kun olet muuttanut hakemistoa config/. Noudata sivua Data ja varmuuskopiot ennen WSL-jakelun päivittämistä, siirtämistä tai poistamista. Elävien MongoDB-tiedostojen kopioiminen tietokannan kirjoittaessa ei ole johdonmukainen varmuuskopio.
Pidä 127.0.0.1 paikallista käyttöä varten. Muiden tietokoneiden palveleminen vaatii myös tietoisesti valitun kuunteluosoitteen, sivuston URL:n, Windowsin palomuuri- ja verkkomääritykset sekä HTTPS:n; pelkkä OVERLEAF_SITE_URL-arvon muuttaminen ei julkaise porttia.
Jos jokin ei toimi, katso Vianmääritys.
