copy_fonts.sh (1002B)
1 #!/usr/bin/env bash 2 3 set -e 4 5 if [ -z "$1" ]; then 6 echo "Usage: $(basename $0) <docker name>" 7 echo " If you followed the README, the docker name would be 'mjf'" 8 exit 1 9 else 10 DOCKER_NAME="$1" 11 fi 12 13 mkdir fonts 14 15 used_fonts=( 16 KaTeX_AMS-Regular 17 KaTeX_Caligraphic-Bold 18 KaTeX_Caligraphic-Regular 19 KaTeX_Fraktur-Bold 20 KaTeX_Fraktur-Regular 21 KaTeX_Main-Bold 22 KaTeX_Main-Italic 23 KaTeX_Main-Regular 24 KaTeX_Math-BoldItalic 25 KaTeX_Math-Italic 26 KaTeX_Math-Regular 27 KaTeX_SansSerif-Bold 28 KaTeX_SansSerif-Italic 29 KaTeX_SansSerif-Regular 30 KaTeX_Script-Regular 31 KaTeX_Size1-Regular 32 KaTeX_Size2-Regular 33 KaTeX_Size3-Regular 34 KaTeX_Size4-Regular 35 KaTeX_Typewriter-Regular 36 ) 37 38 for filetype in ttf eot woff woff2; do 39 echo "Copying $filetype" 40 docker cp "$DOCKER_NAME":/MathJax-dev/fonts/OTF/TeX/"$filetype" fonts 41 42 for font in ${used_fonts[*]}; do 43 mv fonts/"$filetype"/"$font"* fonts/ 44 done 45 46 rm -rf fonts/"$filetype" 47 done