cockpit-project/cockpit — pull request #1268 by mvollmer (2014-09-29 11:56:06+00:00)
Title: shell: Get address of Docker machine from the right place.

Fixes #1217.