emilandDevin <158243242+devin-ai-integration[bot]@users.noreply.github.com> 5e1337e524 DEVX-155: fix: use /dev/shm/docker.sock socket for local dockerd ...

The existing dockerd holds /var/run/docker.sock and can't be killed
from inside the container (different PID namespace). Use a new socket
path /dev/shm/docker.sock and data root /dev/shm/docker (16G tmpfs).

Generated with [Devin](https://devin.ai)

Co-Authored-By: Devin <158243242+devin-ai-integration[bot]@users.noreply.github.com>

2026-08-14 20:30:58 +02:00

..

unit

DEVX-155: fix: use /dev/shm/docker.sock socket for local dockerd

2026-08-14 20:30:58 +02:00

__init__.py

feat: extract reusable dev/CI tools from GRM into devx package

2026-06-22 17:01:20 +02:00