use wget instead of curl

bnjmnjrk · bnjmnjrk · commit da05643cb29d · 2025-08-11T09:50:18.000Z
diff --git a/reflex-examples b/reflex-examples
@@ -0,0 +1 @@
+Subproject commit f890fd45527256ab2fc9121480414f00269b2032
diff --git a/scripts/bun_install.sh b/scripts/bun_install.sh
@@ -142,7 +142,7 @@ if [[ ! -d $bin_dir ]]; then
         error "Failed to create install directory \"$bin_dir\""
 fi
 
-curl --fail --location --progress-bar --output "$exe.zip" "$bun_uri" ||
+wget --quiet --show-progress --output-document="$exe.zip" "$bun_uri" ||
     error "Failed to download bun from \"$bun_uri\""
 
 unzip -oqd "$bin_dir" "$exe.zip" ||

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	`+Subproject commit f890fd45527256ab2fc9121480414f00269b2032`