Fix get extension

sarg3nt · May 25, 2024 · 10ff0ad · 10ff0ad
1 parent 89fc884
commit 10ff0ad
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 11 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -10,6 +10,7 @@ jobs:
   plugin_test:
     name: asdf plugin test
     strategy:
+      fail-fast: false
       matrix:
         os:
           - ubuntu-latest

diff --git a/lib/utils.bash b/lib/utils.bash
@@ -87,21 +87,18 @@ get_platform() {
 	echo "$platform"
 }
 
-get_extension() {
-	local platform
-	platform="$1"
+download_release() {
+	local version filename url platform extension
+	version="$1"
+	platform=$(get_platform)
 	if [ "${platform:-x}" = "win64" ] || [ "${platform:-x}" = "win32" ]; then
-  		echo='zip'
+  		extension='zip'
 	else
-  		echo='tar.gz'
+  		extension='tar.gz'
 	fi
-}
 
-download_release() {
-	local version filename url
-	version="$1"
-	local -r platform=$(get_platform)
-	local -r extension=$(get_extension "$platform")
+	echo "Platform: $platform"
+	echo "Extension: $extension"
 
 	#'https://github.com/zyedidia/micro/releases/download/v$version/micro-$version-$platform.$extension'
 	url="$GH_REPO/releases/download/v${version}/micro-${version}-${platform}.${extension}"