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