1
Installer et démarrer Docker Desktop
Installez la version de Docker Desktop adaptée à votre Mac (Apple silicon ou Intel), ouvrez-la et attendez que le moteur ait démarré. Vous pouvez aussi le démarrer depuis le Terminal :
2
Vérifier le moteur Docker
Exécutez ces commandes dans le Terminal :Le contexte doit pointer vers votre moteur Docker Desktop local, normalement
desktop-linux. Si un autre contexte est sélectionné, basculez vers Docker Desktop avant de continuer :docker info doit afficher une section Server. docker --version seul indique uniquement que le client est installé.3
Vérifier les ressources et le partage de fichiers
Dans les Settings de Docker Desktop, comparez les limites de processeur, de mémoire et de disque avec Avant de commencer, et vérifiez les paramètres de partage de fichiers, voir Paramètres de Docker Desktop.Ce guide place le Toolkit sous
/Users, que Docker Desktop partage par défaut. Si vous utilisez un autre emplacement et que bin/up échoue avec Mounts denied, ajoutez ce répertoire au partage de fichiers.4
Vérifier le socket Docker pour les compilations en sandbox
Le Toolkit monte
/var/run/docker.sock dans l’application, afin qu’elle puisse démarrer un conteneur TeX Live distinct pour chaque compilation. Conservez DOCKER_SOCKET_PATH=/var/run/docker.sock dans config/overleaf.rc.Sous macOS, la CLI Docker peut se connecter via ~/.docker/run/docker.sock. Il s’agit du point d’accès client sur le Mac, et non d’une raison de modifier la source du montage du Toolkit : le compilateur a besoin du socket du moteur tel que le voient les conteneurs Linux.Si /var/run/docker.sock est absent du Mac, activez Allow the default Docker socket to be used sous Settings → Advanced, voir les exigences d’autorisation de Docker.N’exécutez pas
chmod 777 sur le socket pour contourner des erreurs. L’accès au socket Docker équivaut à un accès root à la VM Docker.Étape suivante
Une fois quedocker info fonctionne, poursuivez avec 1. Télécharger le Toolkit.
