mirror of
https://github.com/Smaug123/KaTeX
synced 2025-10-11 22:18:41 +00:00
dde05db6b7
* fix: fix the timestamp of fonts to the epoch * fix: update fonts Co-authored-by: Erik Demaine <edemaine@mit.edu>
85 lines
2.0 KiB
Bash
Executable File
85 lines
2.0 KiB
Bash
Executable File
#!/usr/bin/env bash
|
|
shopt -s extglob
|
|
|
|
used_fonts=(
|
|
KaTeX_AMS-Regular
|
|
KaTeX_Caligraphic-Bold
|
|
KaTeX_Caligraphic-Regular
|
|
KaTeX_Fraktur-Bold
|
|
KaTeX_Fraktur-Regular
|
|
KaTeX_Main-Regular
|
|
KaTeX_Main-Bold
|
|
KaTeX_Main-Italic
|
|
KaTeX_Main-BoldItalic
|
|
KaTeX_Math-Italic
|
|
KaTeX_Math-BoldItalic
|
|
KaTeX_SansSerif-Bold
|
|
KaTeX_SansSerif-Italic
|
|
KaTeX_SansSerif-Regular
|
|
KaTeX_Script-Regular
|
|
KaTeX_Size1-Regular
|
|
KaTeX_Size2-Regular
|
|
KaTeX_Size3-Regular
|
|
KaTeX_Size4-Regular
|
|
KaTeX_Typewriter-Regular
|
|
)
|
|
|
|
filetypes=( ttf woff woff2 )
|
|
|
|
set -e
|
|
cd "$(dirname "$0")/../.."
|
|
|
|
cleanup() {
|
|
[[ "${CONTAINER}" ]] \
|
|
&& docker stop "${CONTAINER}" >/dev/null \
|
|
&& docker rm "${CONTAINER}" >/dev/null
|
|
CONTAINER=
|
|
[[ -f "${TMPFILE}" ]] && rm "${TMPFILE}"
|
|
TMPFILE=
|
|
}
|
|
CONTAINER=
|
|
trap cleanup EXIT
|
|
|
|
IMAGE="katex/fonts:DF-$(openssl sha1 dockers/fonts/Dockerfile | tail -c 9)"
|
|
TMPFILE="$(mktemp "${TMPDIR:-/tmp}/mjf.XXXXXXXX")"
|
|
FILE="$TMPFILE"
|
|
pushd "src"
|
|
if [[ ! -f fonts/Makefile ]]; then
|
|
echo "src does not look like katex-fonts" >&2
|
|
exit 1
|
|
fi
|
|
tar cfP "$FILE" ../package.json fonts
|
|
popd
|
|
|
|
# build image if missing
|
|
if [[ $(docker images "$IMAGE" | wc -l) -lt 2 ]]; then
|
|
echo "Need to build docker image $IMAGE"
|
|
docker build --tag "$IMAGE" "dockers/fonts"
|
|
fi
|
|
|
|
CMDS="set -ex
|
|
tar xfP katex-fonts.tar.gz
|
|
make -C fonts all
|
|
tar cf /fonts.tar ${filetypes[*]/#/fonts/}"
|
|
|
|
echo "Creating and starting docker container from image $IMAGE"
|
|
CONTAINER=$(docker create "$IMAGE" /bin/sh -c "${CMDS}")
|
|
if [[ ${FILE} ]]; then
|
|
docker cp "${FILE}" $CONTAINER:/katex-fonts.tar.gz
|
|
fi
|
|
docker start --attach $CONTAINER
|
|
docker cp $CONTAINER:/fonts.tar .
|
|
cleanup
|
|
echo "Docker executed successfully, will now unpack the fonts"
|
|
|
|
tar xf fonts.tar
|
|
mv fonts temp
|
|
mkdir fonts
|
|
for filetype in "${filetypes[@]}"; do
|
|
for font in "${used_fonts[@]}"; do
|
|
echo "$filetype/$font"
|
|
mv "temp/$filetype/$font".* ./fonts/
|
|
done
|
|
done
|
|
rm -rf temp fonts.tar
|