diff --git a/tools/docker_clean.sh b/tools/docker_clean.sh old mode 100644 new mode 100755 diff --git a/tools/docker_stop.sh b/tools/docker_stop.sh old mode 100644 new mode 100755 diff --git a/tools/docker_uninstall.sh b/tools/docker_uninstall.sh old mode 100644 new mode 100755