lint/scripts/install-dotnet.sh