update Font-Awesome

[romain-dartigues]

Upgrade Font Awesome from 4.7.0 to 5.15.1.

I made the following quick-and-dirty script, but I would like to ease the upgrade of third-party libraries; is it worth the effort? Do you remember which versions you started with?

#!/bin/sh

set -e
set -u
set -x

: "${VERS:=5.15.1}"
ARCHIVE=fontawesome-free-${VERS}-web.zip
URL=https://use.fontawesome.com/releases/v${VERS}/${ARCHIVE}

TEMPDIR=$(mktemp -d)
BASE="${TEMPDIR}/${ARCHIVE%.*}"

trap 'rm -fr "$TEMPDIR"' INT TERM EXIT

wget -q -P "$TEMPDIR" "$URL"
unzip -d "$TEMPDIR" "${TEMPDIR}/${ARCHIVE}"

mv -vf "${BASE}/css/all.min.css" static/css/font-awesome.min.css
mv -vf "${BASE}/webfonts/"*.* static/webfonts/