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