Hey all,

Given I frequently see people running into issues with setting up Docker environments for development usage, I made the following script which should streamline the process:

https://gist.github.com/aarjaneiro/89265a381e0d8c92d8cee119ca7be878

Starting from scratch in an empty directory, merely run:

bash lean_dev.sh -p Y -g Y

For help, run

bash lean_dev.sh -h

Author