Tried installing mango 4 to play with it a bit on linux. Found a couple potential issues. When running the script, it stopped and said:

install-mango.sh: 144: cannot create /opt/mango/overrides/properties/env.properties: Directory nonexistent

Had to add mkdir overrides and mkdir properties to the install script for it to finish..

Mango configured to use latest MySQL. After setting it up, mango went into a restart loop. Found this in the log:

Caused by: java.sql.SQLException: The server time zone value 'EDT' is unrecognized or represents more than one time zone. You must configure either the server or JDBC>

To fix, I had to add "?serverTimezone=UTC" to the env.properties

db.url=jdbc:mysql://localhost/mango?useSSL=false&serverTimezone=UTC