1
0
mirror of https://github.com/SpaceVim/SpaceVim.git synced 2025-02-02 20:20:05 +08:00

Update install script

This commit is contained in:
wsdjeg 2017-11-17 08:00:22 +08:00
parent bc234bd77b
commit 361fbd0599

View File

@ -200,15 +200,41 @@ usage () {
}
download_font () {
url="https://raw.githubusercontent.com/wsdjeg/DotFiles/master/local/share/fonts/$1"
path="$HOME/.local/share/fonts/$1"
if [[ -f "$path" ]]
then
success "Downloaded $1"
else
info "Downloading $1"
wget -q -O "$path" "$url"
success "Downloaded $1"
fi
}
install_fonts () {
if [[ ! -d "$HOME/.local/share/fonts" ]]; then
mkdir -p $HOME/.local/share/fonts
fi
cp "$HOME/.SpaceVim/fonts/*" "$HOME/.local/share/fonts"
download_font "DejaVu Sans Mono Bold Oblique for Powerline.ttf"
download_font "DejaVu Sans Mono Bold for Powerline.ttf"
download_font "DejaVu Sans Mono Oblique for Powerline.ttf"
download_font "DejaVu Sans Mono for Powerline.ttf"
download_font "DroidSansMonoForPowerlinePlusNerdFileTypesMono.otf"
download_font "Ubuntu Mono derivative Powerline Nerd Font Complete.ttf"
download_font "WEBDINGS.TTF"
download_font "WINGDNG2.ttf"
download_font "WINGDNG3.ttf"
download_font "devicons.ttf"
download_font "mtextra.ttf"
download_font "symbol.ttf"
download_font "wingding.ttf"
echo -n "Updating font cache... "
fc-cache -s
mkfontscale "$HOME/.local/share/fonts"
fc-cache -fv
mkfontdir "$HOME/.local/share/fonts"
mkfontscale "$HOME/.local/share/fonts"
echo "done"
}