diff --git a/src/Misc/dotnet-install.sh b/src/Misc/dotnet-install.sh old mode 100644 new mode 100755