howto change docker network on ubuntu

• possible to change the default 172.17.0.0/16 network to “something else” ?? - Google Groups
• ubuntu - DOCKER_OPTS in /etc/default/docker ignored - Stack Overflow