docker/machine — pull request #30 by waitingkuo (2014-12-06 18:42:43+00:00)
Title: "rename" to rename the machine

To rename a machine, you can type

machine rename OLDNAME NEWNAME