Running a dev
shell does not stop conflicting local
containers
#1193
Labels
good first issue
Good issue to tacke for first-time contributors
(Or vice versa)
Bug description
Dev and local containers should not be run simultaneously (this is a known constraint of Tutor, not a bug). A couple years ago we ensured that
tutor dev start
automatically stops any runninglocal
containers. However,tutor dev run ...
does not stoplocal
containers.The converse of this is also a problem (running
local
containers does not stopdev
, etc.).This regularly manifests for me when I am switching back and forth between
local
anddev
container shells to see how management commands work differently between development and production settings. The commands will run fine in one mode (whichever I started first), but then will fail in the other second mode, because the latter mode's MySQL container will fail to start.How to reproduce
Environment
Xubuntu 22.04, but I don't think that matters
The text was updated successfully, but these errors were encountered: