Find a tractable way to handle IPs/hostnames
Closed this issue · 1 comments
Currently, we use very simple hostnames such as 'producer' and 'consumer' within the docker setup. In case the UI shall be used, which uses the same hostnames to communicate. with the services but lives within the users scope, the user has to adapt the /etc/hosts file.
This is cumbersome in case the user has a local docker setup as well as a larger one installed on a server machine.
We should find a way that handles such setups as I think this will be the default setup for most students (including me).
This might include a handy way of using docker internal DNS capabilities or simply by adapting the UI's environment during docker bootup.
Furthermore, we should rather user 'pricewars/producer' instead of simply producer to introduce some kind of namespace there.
@CarstenWalther : I think that's sufficiently covered with your recent changes. What do you think?