linux/nerd-fonts
0
0
Fork 0
mirror of https://github.com/ryanoasis/nerd-fonts.git synced 2024-09-19 09:51:48 +02:00
Code Issues Projects Releases Wiki Activity

CI: Fix: Add font with references

Browse source 
[why]
The font is not available on the Github Workflow VM.

[how]
But we have it in the repo anyhow...

Signed-off-by: Fini Jastrow <ulf.fini.jastrow@desy.de>
This commit is contained in:
Fini Jastrow 2023-03-10 11:25:55 +01:00
parent bbb81d285a
commit 3dde174ca5
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
.github/workflows/font-patcher.yml vendored
View file

@ -126,6 +126,6 @@ jobs:
- name: Check if font with references is patched - name: Check if font with references is patched
# (patch result not checked) # (patch result not checked)
run: | run: |
fontforge --script ./font-patcher /usr/share/fonts/truetype/ubuntu/UbuntuMono-R.ttf \ fontforge --script ./font-patcher src/unpatched-fonts/UbuntuMono/Regular/UbuntuMono-R.ttf \
--quiet --no-progressbars --outputdir $GITHUB_WORKSPACE/temp/ --quiet --no-progressbars --outputdir $GITHUB_WORKSPACE/temp/
[ -e "$GITHUB_WORKSPACE/temp/Ubuntu Mono Nerd Font.ttf" ] && echo "File exists" || exit 1 [ -e "$GITHUB_WORKSPACE/temp/Ubuntu Mono Nerd Font.ttf" ] && echo "File exists" || exit 1