Dev commands

We supply several helpful commands to get of easily. ./bin/dev COMMAND or just dev COMMAND if you've added the development to your $PATH.

To control your docker environment.

There are also useful tools.

You can run these commands from within your workspace directories. For example: cd workspace/test/project/htdocs ../../../../bin/dev php info.php (or dev php info.php if you've added the bin directory to your path)

So you can also import data to mysql with ./bin/dev mysql database < dump.sql or dump ./bin/mysqldump database > dump.sql.