Naar hoofdinhoud gaan

De beheerder en een eerste project aanmaken

Open http://localhost:8080/launchpad, maak het eerste beheerdersaccount aan en log in. Volg daarna 6. Taken na de installatie van de Linux-handleiding, met poort 8080 in de voorbeeld-URL’s.

Compilatie controleren

Een inlogpagina die opent, bewijst niet dat de aparte compilercontainers en hun gegevensmounts werken. Maak een leeg project aan en compileer deze main.tex:
Het PDF-voorbeeld moet de tekst tonen. Selecteer zo nodig TeX Live 2026 in de projectinstellingen. Selecteer voor een project met Chinese tekst XeLaTeX als compiler en test:

Persistentie controleren

Open het project opnieuw en compileer het nogmaals. Je account, de broncode en de projectbestanden moeten er nog zijn. Met de standaardpaden staan de live gegevens in de map data/ van de Toolkit op je Mac.

De instantie beschikbaar houden

Terwijl de Mac slaapt, schort macOS de virtuele machine van Docker Desktop op, met alle containers erin: niemand kan de instantie openen, en een lopende compilatie stopt tot de Mac weer wakker wordt. Alleen de systeemslaapstand telt. Het beeldscherm mag uitgaan. Als andere mensen de instantie gebruiken, of als je lange taken laat lopen, houd de Mac dan aan de stroom en voorkom automatische slaapstand; zie Set sleep and wake settings for your Mac: Om de Mac maar een tijdje wakker te houden, voer je in plaats daarvan caffeinate -i uit in een Terminal-venster. Dit voorkomt sluimerstand bij inactiviteit totdat je op Ctrl+C drukt of het venster sluit. Docker Desktop is een app in je gebruikerssessie. Om de instantie na een herstart terug te hebben, schakel je Start Docker Desktop when you sign in to your computer in onder Settings → General in Docker Desktop. De containers van de Toolkit gebruiken restart: always, dus Docker start ze opnieuw zodra Docker Desktop draait, zonder bin/up. Totdat iemand zich na een herstart op de Mac aanmeldt, blijft de instantie offline.
Een Mac die wakker blijft, verbruikt meer stroom. Voor een service die altijd bereikbaar moet zijn, raden we een Linux-server aan; zie Linux.

Dagelijks gebruik

Open Docker Desktop voordat je de instantie beheert. In een nieuwe terminal:
bin/start past geen wijzigingen in config/ toe: voer bin/up -d uit nadat je de configuratie hebt bewerkt. Bewaar config/ en data/, en volg Gegevens en back-ups vóór een upgrade of voordat je de installatie verplaatst. De databasebestanden kopiëren terwijl MongoDB ernaar schrijft, is geen consistente back-up. Houd de instantie voor lokaal gebruik op 127.0.0.1. Om andere computers te bedienen, stel je het luisteradres, de site-URL en HTTPS bewust in; zie 5. Uw instantie personaliseren van de Linux-handleiding. Als iets niet werkt, zie Probleemoplossing.
Laatst gewijzigd op 8 november 2026