2020-10-04 11:37:37 +02:00
|
|
|
#!/usr/bin/env bash
|
2019-02-02 11:19:11 +01:00
|
|
|
set -euo pipefail
|
2018-04-30 15:41:30 +02:00
|
|
|
|
2018-05-16 21:22:16 +02:00
|
|
|
ASSET_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
|
2019-10-04 20:43:36 +02:00
|
|
|
REPO_DIR="$ASSET_DIR/.."
|
2018-04-30 15:41:30 +02:00
|
|
|
|
2019-09-27 21:43:11 +02:00
|
|
|
# Ensure submodules are initialized.
|
2021-08-21 12:19:11 +02:00
|
|
|
update_submodules() {
|
2019-10-04 20:43:36 +02:00
|
|
|
local submodule
|
|
|
|
local submodule_prompt=unspecified
|
|
|
|
local submodule_path
|
|
|
|
|
|
|
|
{
|
|
|
|
while { read -r submodule && read -r submodule_path; } <&3; do
|
|
|
|
if ! [[ -d "${REPO_DIR}/.git/modules/${submodule}" ]] && [[ -d "${REPO_DIR}/${submodule_path}" ]]; then
|
|
|
|
if [[ "$submodule_prompt" = "unspecified" ]]; then
|
|
|
|
echo "One or more submodules were found to be uninitialized."
|
|
|
|
printf "Initialize and update them? [Y/n] "
|
|
|
|
read -r submodule_prompt
|
|
|
|
fi
|
|
|
|
|
|
|
|
case "$submodule_prompt" in
|
|
|
|
y|yes|'') {
|
|
|
|
git -C "$REPO_DIR" submodule update --init "$submodule_path"
|
|
|
|
};;
|
|
|
|
n|no) {
|
|
|
|
return
|
|
|
|
};;
|
|
|
|
*) {
|
|
|
|
echo "Unknown answer. Not updating submodules."
|
|
|
|
};;
|
|
|
|
esac
|
|
|
|
fi
|
|
|
|
done
|
|
|
|
} 3< <(git config --file "${REPO_DIR}/.gitmodules" --null --get-regexp path | xargs -0 printf "%s\n" | sed 's/^submodule.//;s/.path$//')
|
|
|
|
}
|
|
|
|
|
|
|
|
if [ -t 0 ]; then
|
|
|
|
update_submodules
|
|
|
|
fi
|
2019-09-27 21:43:11 +02:00
|
|
|
|
2018-10-10 21:49:03 +02:00
|
|
|
# Always remove the local cache to avoid any confusion
|
|
|
|
bat cache --clear
|
|
|
|
|
2020-04-11 22:50:02 +02:00
|
|
|
# TODO:
|
|
|
|
# - Remove the JavaDoc patch once https://github.com/trishume/syntect/issues/222 has been fixed
|
|
|
|
# - Remove the C# patch once https://github.com/sublimehq/Packages/pull/2331 has been merged
|
|
|
|
|
|
|
|
(
|
|
|
|
cd "$ASSET_DIR"
|
|
|
|
for patch in patches/*.patch; do
|
|
|
|
patch --strip=0 < "$patch"
|
|
|
|
done
|
|
|
|
)
|
2018-10-04 10:16:53 +02:00
|
|
|
|
2019-02-07 22:31:37 +01:00
|
|
|
bat cache --build --blank --source="$ASSET_DIR" --target="$ASSET_DIR"
|
2018-10-04 10:16:53 +02:00
|
|
|
|
2020-04-11 22:50:02 +02:00
|
|
|
(
|
|
|
|
cd "$ASSET_DIR"
|
|
|
|
for patch in patches/*.patch; do
|
|
|
|
patch --strip=0 --reverse < "$patch"
|
|
|
|
done
|
|
|
|
)
|