diff options
| author | JP Ungaretti <git@jungaretti.com> | 2023-03-01 05:15:13 +0300 |
|---|---|---|
| committer | JP Ungaretti <git@jungaretti.com> | 2023-03-01 05:15:13 +0300 |
| commit | 11d0be5f671652edce7446a6ddf40f9faca0d1e1 (patch) | |
| tree | c0bc3f0518512f49374da370a0f9efc6f3fbcd81 | |
| parent | a716332dfafcca938ced0310ac76b9473a1bc66b (diff) | |
Add echos for version and runtime
| -rw-r--r-- | src/dotnet/install.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/dotnet/install.sh b/src/dotnet/install.sh index f9bf46c..8243bbe 100644 --- a/src/dotnet/install.sh +++ b/src/dotnet/install.sh @@ -39,6 +39,8 @@ install_version() { local channel="LTS" local runtime_arg="" + echo "Installing version '$version'..." + # If version is just a major value (form 'N'), assume it is a channel if [[ "$version" =~ ^[0-9]+$ ]]; then channel="$version.0" @@ -52,6 +54,7 @@ install_version() { fi if [ "$DOTNET_RUNTIME_ONLY" = 'true' ]; then + echo "Installing runtime only..." runtime_arg = '--runtime dotnet' fi |