a
/
repotool
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

noot

This commit is contained in:
a 2024-05-01 19:47:08 -05:00
parent c8f01255ae
commit 3c62bd8185
Signed by: a
GPG Key ID: 374BC539FE795AF0
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/get_command.sh
View File

@ -95,18 +95,20 @@ esac
local cloned="false"
# we check if we have cloned the repo via the if the .git folder exists # we check if we have cloned the repo via the if the .git folder exists
if [[ ! -d .git ]]; then if [[ ! -d .git ]]; then
# check if the remote actually exists # check if the remote actually exists
$git ls-remote $repo_url > /dev/null && RC=$? || RC=$? $git ls-remote $repo_url > /dev/null && RC=$? || RC=$?
if [[ $RC == 0 ]]; then if [[ $RC == 0 ]]; then
$git clone $repo_url $target_dir >&2 $git clone $repo_url $target_dir >&2
cloned="true"
else else
echo "Could not find repo: $repo_url" echo "Could not find repo: $repo_url"
exit 1 exit 1
fi fi
fi fi
echo dir=$target_dir domain=$domain path=$path repo_url=$repo_url echo dir=$target_dir domain=$domain path=$path repo_url=$repo_url cloned=$cloned
exit 0 exit 0