All these are shell commands.
docker-machine env
to get the current default docker-machine configuration
eval $(docker-machine env)
to get the current docker-machine configuration and set the current shell environment up to use this docker-machine with .
If your shell is set up to use a proxy, you can specify the --no-proxy option in order to bypass the proxy when connecting to your docker-machine:
eval $(docker-machine env --no-proxy)
If you have multiple docker-machines, you can specify the machine name as argument:
eval $(docker-machine env --no-proxy machinename)