devenv An attempt to make a portable development environment in Docker which inherits the filesystem and credentials of the host. This is currently not functional. Please see the issues.