diff --git a/docker/dev/run.sh b/docker/dev/run.sh old mode 100644 new mode 100755