From 4e2f4f96e669d1fa997bca5e19635e2d595c21d8 Mon Sep 17 00:00:00 2001
From: jedi <git@m.j3d1.de>
Date: Fri, 31 Jan 2020 21:23:21 +0100
Subject: [PATCH] wip
---
unbox.sh | 13 +++++++++++--
1 file changed, 11 insertions(+), 2 deletions(-)
diff --git a/unbox.sh b/unbox.sh
index 1dcbe4c..7781fa9 100755
--- a/unbox.sh
+++ b/unbox.sh
@@ -8,11 +8,20 @@ function unbox_outer_stage(){
apt install git util-linux
+ select chosen_repo in other $(cat .repo_cache | sort | uniq); do
+ if [ "${chosen_repo}" = "other" ]; then
+ echo -n "git repository url"
+ read REMOTE
+ else
+ REMOTE=$chosen_repo
+ fi
+ done
+
if [ -e repo ]; then
(cd repo; git pull)
else
- git clone https://github.com/jed1/laptop-scripts.git repo
- #git clone https://github.com/busti/pt-surface.git repo
+ echo $REMOTE >> .repo_cache
+ git clone "$REMOTE" repo
fi
if [[ ! -e repo/entry.sh ]]; then