From 26ba3fb9b705060b5803c7689e68fcd1ee628600 Mon Sep 17 00:00:00 2001 From: JP Ungaretti Date: Wed, 1 Mar 2023 01:25:05 +0000 Subject: [PATCH] Add a couple of comments --- src/dotnet/install.sh | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/dotnet/install.sh b/src/dotnet/install.sh index 0edd5b8..fe84978 100644 --- a/src/dotnet/install.sh +++ b/src/dotnet/install.sh @@ -32,6 +32,7 @@ check_packages() { fi } +# Installs a version of .NET using the DOTNET_INSTALLER_SCRIPT install_version() { local version="$1" local channel="LTS" @@ -43,6 +44,7 @@ install_version() { version='latest' fi + # Make sure the version is formatted correctly if ! [[ "$version" = 'latest' || "$version" =~ ^[0-9]+.[0-9]+.[0-9]+$ ]]; then echo "version must be 'latest' or use the form 'N.M.O'" return 1