This commit is contained in:
j3d1 2020-01-31 22:39:18 +01:00
parent 24b7a2d137
commit 7d7b46ba21

View file

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