This commit is contained in:
j3d1 2020-01-31 21:30:11 +01:00
parent e5985453b0
commit 24b7a2d137

View file

@ -8,6 +8,7 @@ function unbox_outer_stage(){
apt install git util-linux
touch .repo_cache
select chosen_repo in other $(cat .repo_cache | sort | uniq); do
if [ "${chosen_repo}" = "other" ]; then
echo -n "git repository url: "
@ -15,13 +16,14 @@ function unbox_outer_stage(){
else
REMOTE=$chosen_repo
fi
echo $REMOTE
echo $REMOTE >> .repo_cache
break
done
if [ -e repo ]; then
(cd repo; git pull)
else
echo $REMOTE >> .repo_cache
git clone "$REMOTE" repo
fi