gristlabs_grist-core/buildtools/checkout-ext-directory.sh

#!/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
rm -rf ./ext
mv $repo/ext .
rm -rf $repo
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-19 16:18:34 +00:00			`#!/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`
Fixes OSS including EE by providing empty ext dir 2024-07-08 18:03:18 +00:00			`rm -rf ./ext`
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-19 16:18:34 +00:00			`mv $repo/ext .`
			`rm -rf $repo`