A Dockerfile that installs a mysql server