utils/index-repository: add alias for git -C ...

Simplify the script. We never `cd` into the directory, we instead use
`git -C`. Avoid repeating it by creating a $git variable.

Signed-off-by: Théo Lebrun <theo.lebrun@bootlin.com>
This commit is contained in:
Théo Lebrun 2024-11-08 10:14:20 +01:00
parent a4b8cb4c02
commit a34a6c692a

View file

@ -12,18 +12,20 @@ dir=/srv/elixir-data/$1
mkdir -p $dir/data $dir/repo
git -C $dir/repo init --bare
git="git -C $dir/repo"
$git init --bare
git config --system --add safe.directory $dir/repo
shift
i=0
for remote
do
git -C $dir/repo remote add remote$i $remote
$git remote add remote$i $remote
i=$(($i+1))
done
git -C $dir/repo fetch --all --tags -j4
$git fetch --all --tags -j4
export LXR_REPO_DIR=$dir/repo
export LXR_DATA_DIR=$dir/data