Prevent to create an environnement with existing name

[pierrepo]

User can provide any name for its environment.

If 2 environments have the same name, conflicts could occur.

On should prevent the creation of an environment with an already existing name.

[jtpio]

It might still be useful to be able to reuse an existing name.

For example a teacher could prepare a new environment with the same name, keeping the old one available while the new one is building. Once the new one is available, the old one can be removed by clicking on the remove button (a bit like a rolling upgrade).

[jtpio]

An alternative could be to display a hint in the dialog window, by checking the list of existing environments client side (without enforcing it server side)

[pierrepo]

Having twice (or more) the same env name could be very confusing.

Even the case of a rolling update might not be easily handled by teachers.

display a hint in the dialog window, by checking the list of existing environments client side

Yes. Definitely.

[pierrepo]

Actually, this reminds me the red or green tick that appears nearby the name of a gihub repo when you create one: