emilandDevin <158243242+devin-ai-integration[bot]@users.noreply.github.com> cdbee0a317 DEVX-155: fix: kill dockerd by PID when pkill fails, use /dev/shm for alive daemon ...

Add pgrep diagnostics before/after pkill to identify lingering dockerd
processes. If pkill fails and pgrep still finds dockerd, kill by PID
directly via os.kill. When inner dockerd can't be killed (still alive),
use /dev/shm as data root since the overlay is still full.

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

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

2026-08-15 02:12:46 +02:00

..

unit

DEVX-155: fix: kill dockerd by PID when pkill fails, use /dev/shm for alive daemon

2026-08-15 02:12:46 +02:00

__init__.py

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

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