Dev setup: run-dev script

[microamp]

The docker/run-dev script might need some attention.

(cd docker && ./run-dev)

Will use the following user/group mapping:
USER ID: 1000
GROUP ID: 1000
stat /home/microamp/src/github.com/microamp/mailarchive/docker-compose.yml: no such file or directory
stat /home/microamp/src/github.com/microamp/mailarchive/docker-compose.yml: no such file or directory
Database exposed on port:
no configuration file provided: not found
no configuration file provided: not found
no configuration file provided: not found

It is possible that the specified compose file in the script has been renamed.