From e3968a3fadd81c6e5633f00c5ffce73a14fe3315 Mon Sep 17 00:00:00 2001
From: Ven0m0 <82972344+Ven0m0@users.noreply.github.com>
Date: Mon, 16 Mar 2026 22:26:04 +0000
Subject: [PATCH] =?UTF-8?q?=E2=9A=A1=20perf(setup):=20use=20bash=20paramet?=
 =?UTF-8?q?er=20expansion=20instead=20of=20basename=20subshell?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Co-authored-by: google-labs-jules[bot] <161369871+google-labs-jules[bot]@users.noreply.github.com>
---
 RaspberryPi/Scripts/setup.sh | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/RaspberryPi/Scripts/setup.sh b/RaspberryPi/Scripts/setup.sh
index 84613b7d..ebf45394 100644
--- a/RaspberryPi/Scripts/setup.sh
+++ b/RaspberryPi/Scripts/setup.sh
@@ -25,6 +25,16 @@ die() {
 declare -A cfg=([dry_run]=0 [skip_external]=0 [minimal]=0 [quiet]=0 [insecure_ssh]=0)
 run() { ((cfg[dry_run])) && log "[DRY] $*" || "$@"; }
 # Safe cleanup workspace
+
+download_and_install() {
+  local url="$1"
+  local dest="$2"
+  local tmp="$WORKDIR/${url##*/}"
+  curl -fsSL "$url" -o "$tmp"
+  sudo mv "$tmp" "$dest"
+  sudo chmod +x "$dest"
+}
+
 run_url() {
   local url="$1"
   shift