j3d1/unbox
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

wip

Browse source
This commit is contained in:
j3d1 2020-01-31 21:24:31 +01:00
parent 4e2f4f96e6
commit 718e27913c
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
unbox.sh
View file

@ -10,7 +10,7 @@ function unbox_outer_stage(){
select chosen_repo in other $(cat .repo_cache | sort | uniq); do
if [ "${chosen_repo}" = "other" ]; then
echo -n "git repository url"
echo -n "git repository url: "
read REMOTE
else
REMOTE=$chosen_repo