Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
dev: Clean all the Docker stuff on make docker-clean
There were two problems with the command `make docker-clean`: - the small one: volumes were not deleted, so when we upgraded from PGSQL 11 to 12, the data in the container was incompatible; - the big one: containers related to profiles (i.e. databases and LDAP) weren't included in the command at all. The second issue broke the system because `make docker-clean` deleted the network, but not the pgsql container. So when we restarted the services, pgsql was looking for the old network and failed.
- Loading branch information