2016-01-13 22:18:22 +01:00
|
|
|
#!/usr/bin/env bash
|
|
|
|
|
|
|
|
|
|
mkdir -p $HOME/.local/share/fonts
|
2016-02-20 23:53:56 +01:00
|
|
|
echo $(for i in "" "%20Bold" "%20Oblique" "%20Bold%20Oblique"; do
|
|
|
|
|
cd $HOME/.local/share/fonts
|
2017-11-02 16:48:43 +01:00
|
|
|
wget -c http://raw.githubusercontent.com/powerline/fonts/master/DejaVuSansMono/DejaVu%20Sans%20Mono$i%20for%20Powerline.ttf
|
2016-02-20 23:53:56 +01:00
|
|
|
done)
|
2018-10-06 10:27:36 +02:00
|
|
|
wget -c "https://raw.githubusercontent.com/FortAwesome/Font-Awesome/a8386aae19e200ddb0f6845b5feeee5eb7013687/fonts/fontawesome-webfont.ttf" -O $HOME/.local/share/fonts/fontawesome-webfont.ttf
|
