mirror of
https://github.com/SpaceVim/SpaceVim.git
synced 2025-02-02 22:10:06 +08:00
parent
1085213bd1
commit
bc39677add
@ -342,7 +342,7 @@ welcome () {
|
|||||||
|
|
||||||
# download_font {{{
|
# download_font {{{
|
||||||
download_font () {
|
download_font () {
|
||||||
url="https://raw.githubusercontent.com/wsdjeg/DotFiles/master/local/share/fonts/$1"
|
url="https://raw.githubusercontent.com/wsdjeg/DotFiles/7a75a186c6db9ad6f02cafba8d4c7bc78f47304c/local/share/fonts/${1// /%20}"
|
||||||
path="$HOME/.local/share/fonts/$1"
|
path="$HOME/.local/share/fonts/$1"
|
||||||
if [[ -f "$path" ]]
|
if [[ -f "$path" ]]
|
||||||
then
|
then
|
||||||
|
@ -342,7 +342,7 @@ welcome () {
|
|||||||
|
|
||||||
# download_font {{{
|
# download_font {{{
|
||||||
download_font () {
|
download_font () {
|
||||||
url="https://raw.githubusercontent.com/wsdjeg/DotFiles/master/local/share/fonts/${1// /%20}"
|
url="https://raw.githubusercontent.com/wsdjeg/DotFiles/7a75a186c6db9ad6f02cafba8d4c7bc78f47304c/local/share/fonts/${1// /%20}"
|
||||||
path="$HOME/.local/share/fonts/$1"
|
path="$HOME/.local/share/fonts/$1"
|
||||||
# Clean up after https://github.com/SpaceVim/SpaceVim/issues/2532
|
# Clean up after https://github.com/SpaceVim/SpaceVim/issues/2532
|
||||||
if [[ -f "$path" && ! -s "$path" ]]
|
if [[ -f "$path" && ! -s "$path" ]]
|
||||||
|
Loading…
Reference in New Issue
Block a user