#!/bin/bash # Cf. https://stackoverflow.com/questions/59895/how-do-i-get-the-directory-where-a-bash-script-is-located-from-within-the-script/246128#246128 SCRIPT_DIR=$( cd -- "$( dirname -- "${BASH_SOURCE[0]}" )" &> /dev/null && pwd ) pushd $SCRIPT_DIR > /dev/null # Obtention de la police Courier-10-Pitch-Bold # -------------------------------------------- # https://fontsgeek.com/fonts/Courier-10-Pitch-Bold # https://fontsgeek.com/terms-and-conditions # => courier-10-pitch-bold_EQ97V.zip # Courier 10 Pitch font missing after upgrade to 17.04? # https://askubuntu.com/questions/914352/courier-10-pitch-font-missing-after-upgrade-to-17-04 # https://groups.google.com/g/trelby/c/CGkpcMBXW9U # -> http://www.trelby.org/files/release/font/courier10point.zip # --> https://web.archive.org/web/20140326080337/http://www.trelby.org/files/release/font/courier10point.zip # https://news.ycombinator.com/item?id=18802628 # -> https://www.trelby.org/assets/courier10point.zip # => courier10point.zip if [ ! -f cour10p_b.ttf ]; then unzip -p courier10point.zip courier10point/cour10p_b.ttf > cour10p_b.ttf fi # Construction de l'image de fond #-------------------------------- if [ $# -lt 1 -o $# -gt 2 ]; then echo "Usage: $0 " exit 123 fi python3 ./build.py $* cp bg.png ../../src/data/images/about-bg.png popd > /dev/null