tonsky/FiraCode
1
1
Fork 0
mirror of https://github.com/tonsky/FiraCode.git synced 2024-10-04 00:31:49 +03:00
Code Issues Projects Releases Wiki Activity

Quote variables

Adrien Smith 2018-11-17 16:26:59 -07:00
parent 2b7b50e96b
commit 3dbe30fed3
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
Linux-instructions.md

@ -34,9 +34,9 @@ With most desktop-oriented distributions, double-clicking each font file in the
#!/usr/bin/env bash #!/usr/bin/env bash
fonts_dir="${HOME}/.local/share/fonts" fonts_dir="${HOME}/.local/share/fonts"
if [ ! -d ${fonts_dir} ]; then if [ ! -d "${fonts_dir}" ]; then
echo "mkdir -p $fonts_dir" echo "mkdir -p $fonts_dir"
mkdir -p ${fonts_dir} mkdir -p "${fonts_dir}"
else else
echo "Found fonts dir $fonts_dir" echo "Found fonts dir $fonts_dir"
fi fi
@ -44,9 +44,9 @@ fi
for type in Bold Light Medium Regular Retina; do for type in Bold Light Medium Regular Retina; do
file_path="${HOME}/.local/share/fonts/FiraCode-${type}.ttf" file_path="${HOME}/.local/share/fonts/FiraCode-${type}.ttf"
file_url="https://github.com/tonsky/FiraCode/blob/master/distr/ttf/FiraCode-${type}.ttf?raw=true" file_url="https://github.com/tonsky/FiraCode/blob/master/distr/ttf/FiraCode-${type}.ttf?raw=true"
if [ ! -e ${file_path} ]; then if [ ! -e "${file_path}" ]; then
echo "wget -O $file_path $file_url" echo "wget -O $file_path $file_url"
wget -O ${file_path} ${file_url} wget -O "${file_path} ${file_url}"
else else
echo "Found existing file $file_path" echo "Found existing file $file_path"
fi; fi;