cut down download.sh enough to remove it

autodeploy/download.sh

@@ -1,142 +0,0 @@
-#!/bin/bash
-
-set -euo pipefail
-
-
-function print_help() {
-cat << EOF
-Usage: $(basename "$0") [OPTIONS] URL
-
-Downloads ARCHIVE from URL and extracts BINARY from it,
-but only if the remote file differs from the local file.
-
-Positional arguments:
-  URL                       The url to download ARCHIVE from
-
-Optional arguments:
-  -a, --archive ARCHIVE     The name of the downloaded archive (default: inferred from URL)
-  -b, --binary BINARY       The binary to extract from ARCHIVE (default: inferred from ARCHIVE)
-  -h, --help                Show this help message and exit
-EOF
-}
-
-
-ARCHIVE=""
-BINARY=""
-POSITIONAL_ARGS=()
-
-while [[ $# -gt 0 ]]; do
-    case "$1" in
-        -a|--archive)
-            ARCHIVE="$2"
-            shift 2
-            ;;
-        -b|--binary)
-            BINARY="$2"
-            shift 2
-            ;;
-        -h|--help)
-            print_help
-            exit 0
-            ;;
-        -*)
-            echo "Unknown option: $1"
-            print_help
-            exit 1
-            ;;
-        *)
-            POSITIONAL_ARGS+=("$1")
-            shift
-            ;;
-    esac
-done
-
-if [[ ${#POSITIONAL_ARGS[@]} -ne 1 ]]; then
-    echo "Error: Missing required positional argument: URL"
-    echo
-    print_help
-    exit 1
-fi
-
-URL="${POSITIONAL_ARGS[0]}"
-[[ -z "$ARCHIVE" ]] && ARCHIVE=$(basename "$URL")
-[[ -z "$BINARY" ]] && BINARY=$(echo "$ARCHIVE" | cut -d. -f1 | cut -d- -f1)
-
-
-#echo "url:     $URL"
-#echo "archive: $ARCHIVE"
-#echo "binary:  $BINARY"
-
-
-function download() {
-    local url=$1
-    local archive=$2
-    local binary=$3
-
-#    if check_meta "$url" "$archive"; then
-#        echo "Skipping download $url"
-#        return
-#    fi
-
-    echo "Downloading $url ..."
-    rm -f "$archive" "$binary" || true
-    curl --location --silent --show-error --remote-time --output "$archive" "$url"
-    tar xzf "$archive"
-}
-
-
-function check_meta() {
-    local url=$1
-    local fn=$2
-
-    local local_meta remote_meta
-
-    if [ ! -f "$fn" ]; then
-        echo "File $fn not found"
-        return 1
-    fi
-
-    local_meta=$(get_local_meta "$fn")
-    remote_meta=$(get_remote_meta "$url")
-
-    if [ "$remote_meta" != "$local_meta" ]; then
-        echo "Remote and local meta data of file $fn differ (remote: $remote_meta, local: $local_meta)"
-        return 1
-    else
-        echo "Remote and local meta data of file $fn are identical ($remote_meta)"
-        return 0
-    fi
-}
-
-
-function get_local_meta() {
-    local fn=$1
-    stat --format "s:%s|t:%Y" "$fn"
-}
-
-function get_remote_meta() {
-    local url=$1
-    header=$(get_header "$url")
-    size=$(extract_from "$header" "content-length")
-    time=$(extract_from "$header" "last-modified")
-    time=$(date --date "$time" +%s)
-    echo "s:$size|t:$time"
-}
-
-function get_header() {
-    local url=$1
-    curl --head --location --silent --show-error "$url"
-}
-
-function extract_from() {
-    local header=$1
-    local entry=$2
-    echo "$header" | grep "^${entry}:" | tail -n 1 | cut -d ' ' -f 2- | tr -d "\r"
-}
-
-
-
-download "$URL" "$ARCHIVE" "$BINARY"
-
-
-

autodeploy/setup.sh

@@ -10,14 +10,16 @@ echo "Destination: $DESTINATION_DIR"
 # URL="https://github.com/prefix-dev/pixi/releases/latest/download/pixi-x86_64-unknown-linux-musl.tar.gz"
 URL="https://gitea.psi.ch/python/pixi/releases/download/latest/pixi-x86_64-unknown-linux-musl.tar.gz"
 
-#ARCHIVE=$(basename "$URL")
+ARCHIVE=$(basename "$URL")
 #BINARY=$(echo "$ARCHIVE" | cut -d. -f1 | cut -d- -f1)
 
 
 SCRIPT_PATH=$(dirname "$0")
 echo "Script path: $SCRIPT_PATH"
 
-"$SCRIPT_PATH/download.sh" "$URL"
+curl --location --silent --show-error --remote-name "$URL"
+tar xzf "$ARCHIVE"
+
 
 #"$SCRIPT_PATH/gitignore.sh" add "$ARCHIVE" || true
 #"$SCRIPT_PATH/gitignore.sh" add "$BINARY" || true