Stopping and restarting the environment

Use the development manager to stop all docker instances:

cd magement
dev down

The environment can be started again by doing:

cd magement
dev up