debug push_prod

docker/push_prod.sh

 #!/bin/bash
-docker push `cat image_dev.txt`
+docker push `cat image_prod.txt`