How to supply dockerd options?

Oww … found a workaround: Docker pull not using correct DNS server when private registry on VPN

I screen-ed to the docker VM, added the options to /etc/init.d/docker (eeek) and called /etc/init.d/docker restart.