Trouble Shooting

General

  • Make sure that OrbStack (MacOS users) or Docker Desktop (Linux/Windows users) is running. The pt run stack command will otherwise wait until one of them is running.

  • Insufficient memory allocated to OrbStack/Docker Desktop. You need at least 8GB.

  • Running other services that occupy the same ports as are used by Cillers.

  • Old processors. Polytope may have problems running on processors older than 2015.

  • Polytope doesn't start because another old command called pt installed since before. Read the error message of the brew install polytope command.

Windows

  • Running an old version of Windows. Polytope requires Windows 11 at least.

  • Windows users that have an old version of WSL installed. Make sure you have the latest version of WSL2 installed. Polytope will likely fail otherwise.

  • Docker socket permission error: "permission denied while trying to connect to the Docker daemon socket at unix:///var/run/docker.sock: Get "http://%2Fvar%2Frun%2Fdocker.sock/v1.45/containers/json": dial unix /var/run/docker.sock: connect: permission denied". This can be solved by running the following commands:

sudo usermod -aG docker $(whoami)
newgrp docker

MacOS

  • Running an old version of MacOS. Polytope requires the lastet version.

  • MacOS users that run Docker Desktop instead of OrbStack. Docker Desktop is way more inefficient and will very likely cause problems for you.

Last updated