gristlabs_grist-core/buildtools/checkout-ext-directory.sh
Jordi Gutiérrez Hermoso bd7b7b778b checkout-ext-directory: new helper script
This is just a helper script to get the ext directory of other grist
repos, currently intended for grist-ee.
2024-06-26 15:19:06 -04:00

19 lines
390 B
Bash
Executable File

#!/usr/bin/env bash
# This checks out the ext/ directory from the extra repo (e.g.
# grist-ee or grist-desktop) depending on the supplied repo name.
set -e
repo=$1
dir=$(dirname $0)
ref=$(cat $dir/.$repo-version)
git clone --branch $ref --depth 1 --filter=tree:0 "https://github.com/gristlabs/$repo"
pushd $repo
git sparse-checkout set ext
git checkout
popd
mv $repo/ext .
rm -rf $repo