From b6474d4eb1d814ec40ca5404e1af92406771ccd7 Mon Sep 17 00:00:00 2001
From: fpi
Date: Fri, 1 Mar 2024 14:57:32 +0100
Subject: Initial flake

---
 download.sh.patch | 44 ++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 44 insertions(+)
 create mode 100644 download.sh.patch

(limited to 'download.sh.patch')

diff --git a/download.sh.patch b/download.sh.patch
new file mode 100644
index 0000000..0eb96fb
--- /dev/null
+++ b/download.sh.patch
@@ -0,0 +1,44 @@
+diff --git a/scripts/download.sh b/scripts/download.sh2.sh
+index eb9ce59..7c9eaf4 100755
+--- a/scripts/download.sh
++++ b/scripts/download.sh
+@@ -40,6 +40,8 @@ function git_retry() {
+ 
+ set -e
+ 
++echo download.sh $@
++
+ if [ "${1: -3}" == ".gz" ] ; then
+ 
+     # Neither curl or wget are guaranteed to be included in all *nix systems,
+@@ -79,25 +81,11 @@ if [ "${1: -3}" == ".gz" ] ; then
+ 
+ else
+ 
+-    if type "git" > /dev/null; then
+-        echo "Cloning $1 to $2"
+-        if [ $# -gt 2 ]; then
+-            if [ "$3" == "unknown" ]; then
+-                git_retry clone --depth 1 $1 $2
+-            else
+-                # Not gonna retry on the first `git clone`- the backup command
+-                # exists anyway
+-                { git clone --branch $3 --single-branch $1 $2; } ||
+-                { git_retry clone $1 $2 && git -C $2 checkout $3; }
+-            fi
+-        else
+-            git_retry clone --depth 1 $1 $2
+-        fi
+-
+-    else
+-        echo "ERROR: \"git\" is required to automatically install tools."
+-        exit 1
+-    fi
++    echo "Copying $1 to $2"
++		reference=$(echo $1 | sed -e 's/https:\/\/github.com\//git_/' | sed -e 's/\//_/' | sed -e 's/-/_/g')
++		mkdir -p $(dirname $2)
++		cp -r ${!reference} $2
++		chmod -R 755 $2
+ fi
+ 
+ exit 0
-- 
cgit v1.2.3