This commit is contained in:
j3d1 2020-01-31 21:23:21 +01:00
parent d919302209
commit 4e2f4f96e6

View file

@ -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