diff --git a/scripts/docker_publish_dev.sh b/scripts/docker_publish_dev.sh old mode 100644 new mode 100755