diff --git a/utils/index-repository b/utils/index-repository index a2bf725..8231406 100755 --- a/utils/index-repository +++ b/utils/index-repository @@ -1,7 +1,7 @@ #!/bin/sh -if [ "$#" -ne 2 ]; then - echo "Usage: $0 repo_name repo_url" +if [ "$#" -lt 2 ]; then + echo "Usage: $0 repo_name repo_urls..." exit 1 fi @@ -14,6 +14,16 @@ mkdir -p $dir/data git clone --bare $2 $dir/repo git config --system --add safe.directory $dir/repo +shift +shift +i=0 +for remote +do + git -C $dir/repo remote add other$i $remote + git -C $dir/repo fetch --tags other$i + i=$(($i+1)) +done + export LXR_REPO_DIR=$dir/repo export LXR_DATA_DIR=$dir/data python3 /usr/local/elixir/update.py $ELIXIR_THREADS