2019-01-07 20:23:02 +01:00
|
|
|
#!/usr/bin/env bash
|
2018-05-11 11:01:59 +02:00
|
|
|
#
|
|
|
|
|
set -ex
|
|
|
|
|
|
|
|
|
|
if [[ $EUID -ne 0 ]]; then
|
|
|
|
|
echo "This script must be run as root" 1>&2
|
|
|
|
|
sudo "$0" "$1" "$2" "$3" "$4" "$5" "$6" "$7" "$8" "$9"
|
|
|
|
|
exit 0
|
|
|
|
|
fi
|
|
|
|
|
|
|
|
|
|
# In download.sh
|
|
|
|
|
for type in Bold Light Medium Regular Retina; do
|
|
|
|
|
wget -O /usr/share/fonts/TTF/FiraCode-${type}.ttf \
|
2018-11-11 04:24:37 +01:00
|
|
|
"https://github.com/tonsky/FiraCode/blob/master/distr/ttf/FiraCode-${type}.ttf?raw=true";
|
2018-05-11 11:01:59 +02:00
|
|
|
done
|
