### Build all docker images from the file **images.txt**
```bash
for dimg in $(cat ./docker_dev/images.txt); do  echo $dimg; ./docker_dev/build.sh $dimg; done
```