Extracting the shell commands starting boot2docker to a bash script.