diff options
| author | JP Ungaretti <git@jungaretti.com> | 2023-03-01 04:25:05 +0300 |
|---|---|---|
| committer | JP Ungaretti <git@jungaretti.com> | 2023-03-01 04:25:05 +0300 |
| commit | 26ba3fb9b705060b5803c7689e68fcd1ee628600 (patch) | |
| tree | 660653db06dd1ffcef725c1b181cb2ed8432fc8d | |
| parent | 6b54ebde572ffc8cf6f3c5ddf6083d03f7a468b0 (diff) | |
Add a couple of comments
| -rw-r--r-- | src/dotnet/install.sh | 2 |
1 files changed, 2 insertions, 0 deletions
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 |