All these are shell commands
If you need to log onto a running docker-machine directly, you can do that:
docker-machine ssh to ssh into the default docker-machine
docker-machine ssh machinename to ssh into a non-default docker-machine
If you just want to run a single command, you can do so...