Dear Firedrakers,
I'm happy to announce a new convenience feature in Firedrake. As of current master, the firedrake-status shell command is available. Typing firedrake-status will print out:
* Your current configuration (ie the contents of firedrake_configuration.get_config())
* The current branch and commit of all the Firedrake components.
* The value of some critical environment variables.
This is useful for working out what state your Firedrake install is in - particularly for checking that you're using the right set of branches.
Additionally, running:
firedrake-status --log
will produce a more verbose set of similar configuration information. This will be very helpful for us in helping you debug configuration and installation issues.
Regards,
David