Decoupling Docker services
frafra opened this issue · comments
It would be better to have the various software programs running in different containers and reuse existing Docker images for Postgres, redis, etc. The final Dockerfile would be shorter, and it would be easier to maintain, monitor and restart the components of the system.
Hi!
This is a very good idea indeed and also would facilitate branching out the individual modules of AIDE to different machines, if necessary. @szjarek do you think this would be a doable modification w.r.t. the current Docker setup?
We will take care of it and propose a PR then :)