0. Docker Desktop installeren

Installeer Docker Desktop op je Mac en controleer de engine, resources, het delen van bestanden en de Docker-socket.

Ayakaleaf Pro draait op Docker. Op een Mac gebruik je Docker Desktop, dat de Docker-engine in een virtuele Linux-machine draait.

1. Docker Desktop installeren en starten

   Installeer de Docker Desktop-build voor je Mac (Apple silicon of Intel), open het en wacht tot de engine is gestart. Je kunt het ook vanuit Terminal starten:

   open -a Docker
   
2. De Docker-engine controleren

   Voer deze commando’s uit in Terminal:

   docker context show
   docker info
   docker compose version
   

   De context moet naar je lokale Docker Desktop-engine wijzen, normaal desktop-linux. Als er een andere context is geselecteerd, schakel dan over naar Docker Desktop voordat je verdergaat:

   docker context use desktop-linux
   

   docker info moet een Server-sectie afdrukken. docker --version alleen laat slechts zien dat de client is geïnstalleerd.

3. Resources en het delen van bestanden controleren

   Controleer in Docker Desktop onder Settings de limieten voor CPU, geheugen en schijf aan de hand van Voordat je begint, en de instellingen voor het delen van bestanden; zie Docker Desktop settings.

   Deze handleiding plaatst de Toolkit onder /Users, dat Docker Desktop standaard deelt. Als je een andere locatie gebruikt en bin/up mislukt met Mounts denied, voeg die map dan toe aan het delen van bestanden.

4. De Docker-socket voor sandbox-compilaties controleren

   De Toolkit mount /var/run/docker.sock in de applicatie, zodat die voor elke compilatie een aparte TeX Live-container kan starten. Houd DOCKER_SOCKET_PATH=/var/run/docker.sock aan in config/overleaf.rc.

   De Docker CLI op macOS kan verbinding maken via ~/.docker/run/docker.sock. Dat is het client-eindpunt op de Mac, geen reden om de mountbron van de Toolkit te wijzigen: de compiler heeft de engine-socket nodig zoals Linux-containers die zien.

   Als /var/run/docker.sock ontbreekt op de Mac, schakel dan Allow the default Docker socket to be used in onder Settings → Advanced; zie de machtigingsvereisten van Docker.

   Voer geen chmod 777 uit op de socket om fouten te omzeilen. Toegang tot de Docker-socket staat gelijk aan root-toegang tot de Docker-VM.

​

Volgende stap

Zodra docker info werkt, ga je verder met 1. De Toolkit downloaden.