diff options
| author | JP Ungaretti <git@jungaretti.com> | 2023-03-01 05:08:32 +0300 |
|---|---|---|
| committer | JP Ungaretti <git@jungaretti.com> | 2023-03-01 05:08:32 +0300 |
| commit | a716332dfafcca938ced0310ac76b9473a1bc66b (patch) | |
| tree | 676e0c4172656c6c5363d3d5b5f2f0732b2913f8 /src | |
| parent | 1a655bfa0d7ebf26d94a82bbc4a2fe6c5bb40501 (diff) | |
Add more helpful version error
Diffstat (limited to 'src')
| -rw-r--r-- | src/dotnet/install.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotnet/install.sh b/src/dotnet/install.sh index 68ce41c..f9bf46c 100644 --- a/src/dotnet/install.sh +++ b/src/dotnet/install.sh @@ -47,7 +47,7 @@ install_version() { # Make sure the version is formatted correctly (form 'N' is handled before this) if ! [[ "$version" = 'latest' || "$version" =~ ^[0-9]+.[0-9]+.[0-9]+$ ]]; then - echo "version must be 'latest' or use the form 'N.M.O'" + echo "Invalid version '$version': version must be 'latest' or use the form 'N.M.O'" return 1 fi |