From 13c46bbaef32559bda0452fa039c41fcd937e2e9 Mon Sep 17 00:00:00 2001 From: OCram85 Date: Wed, 9 Nov 2022 19:09:07 +0100 Subject: [PATCH] add FiraCode NerfFont files --- Dockerfile | 4 +++ fonts/LICENCE => FiraCode/LICENSE | 0 FiraCode/fonts.css | 28 ++++++++++++++++++ ...dFont-Complete-Mono-Windows-Compatible.ttf | Bin ...iraCode-Regular-NerdFont-Complete-Mono.ttf | Bin ...r-NerdFont-Complete-Windows-Compatible.ttf | Bin .../FiraCode-Regular-NerdFont-Complete.ttf | Bin 7 files changed, 32 insertions(+) rename fonts/LICENCE => FiraCode/LICENSE (100%) create mode 100644 FiraCode/fonts.css rename fonts/Fira Code Regular Nerd Font Complete Mono Windows Compatible.ttf => FiraCode/fonts/FiraCode-Regular-NerdFont-Complete-Mono-Windows-Compatible.ttf (100%) rename fonts/Fira Code Regular Nerd Font Complete Mono.ttf => FiraCode/fonts/FiraCode-Regular-NerdFont-Complete-Mono.ttf (100%) rename fonts/Fira Code Regular Nerd Font Complete Windows Compatible.ttf => FiraCode/fonts/FiraCode-Regular-NerdFont-Complete-Windows-Compatible.ttf (100%) rename fonts/Fira Code Regular Nerd Font Complete.ttf => FiraCode/fonts/FiraCode-Regular-NerdFont-Complete.ttf (100%) diff --git a/Dockerfile b/Dockerfile index 38fe690..f2085bc 100644 --- a/Dockerfile +++ b/Dockerfile @@ -24,3 +24,7 @@ RUN \ echo 'source /etc/bash_completion.d/install-devruntime-completion' >> /etc/bash.bashrc && \ touch "$HOME/enable_motd" && \ echo "if [[ -e \"$HOME/enable_motd\" ]]; then echo -e \"Use \\e[32m'install-devruntime'\\e[0m to install missing runtimes like dotnet or NodeJs.\"; fi" >> /etc/bash.bashrc + +WORKDIR /app/code-server/lib/vscode/out/vs/workbench +ADD FiraCode/* . +RUN cat fonts.css >> workbench.web.main.css diff --git a/fonts/LICENCE b/FiraCode/LICENSE similarity index 100% rename from fonts/LICENCE rename to FiraCode/LICENSE diff --git a/FiraCode/fonts.css b/FiraCode/fonts.css new file mode 100644 index 0000000..e6e6957 --- /dev/null +++ b/FiraCode/fonts.css @@ -0,0 +1,28 @@ +/* ::CUSTOM VSCODE FONTS:: */ +@font-face { + font-family: 'FiraCode'; + src: url('fonts/FiraCode-Regular-NerdFont-Complete') format('ttf'); + font-weight: 400; + font-style: normal; +} + +@font-face { + font-family: 'FiraCode Mono'; + src: url('fonts/FiraCode-Regular-NerdFont-Complete-Mono') format('ttf'); + font-weight: 400; + font-style: normal; +} + +@font-face { + font-family: 'FiraCode Win'; + src: url('fonts/FiraCode-Regular-NerdFont-Complete-Windows-Compatible') format('ttf'); + font-weight: 400; + font-style: normal; +} + +@font-face { + font-family: 'FiraCode Win Mono'; + src: url('fonts/FiraCode-Regular-NerdFont-Complete-Mono-Windows-Compatible.ttf') format('ttf'); + font-weight: 400; + font-style: normal; +} diff --git a/fonts/Fira Code Regular Nerd Font Complete Mono Windows Compatible.ttf b/FiraCode/fonts/FiraCode-Regular-NerdFont-Complete-Mono-Windows-Compatible.ttf similarity index 100% rename from fonts/Fira Code Regular Nerd Font Complete Mono Windows Compatible.ttf rename to FiraCode/fonts/FiraCode-Regular-NerdFont-Complete-Mono-Windows-Compatible.ttf diff --git a/fonts/Fira Code Regular Nerd Font Complete Mono.ttf b/FiraCode/fonts/FiraCode-Regular-NerdFont-Complete-Mono.ttf similarity index 100% rename from fonts/Fira Code Regular Nerd Font Complete Mono.ttf rename to FiraCode/fonts/FiraCode-Regular-NerdFont-Complete-Mono.ttf diff --git a/fonts/Fira Code Regular Nerd Font Complete Windows Compatible.ttf b/FiraCode/fonts/FiraCode-Regular-NerdFont-Complete-Windows-Compatible.ttf similarity index 100% rename from fonts/Fira Code Regular Nerd Font Complete Windows Compatible.ttf rename to FiraCode/fonts/FiraCode-Regular-NerdFont-Complete-Windows-Compatible.ttf diff --git a/fonts/Fira Code Regular Nerd Font Complete.ttf b/FiraCode/fonts/FiraCode-Regular-NerdFont-Complete.ttf similarity index 100% rename from fonts/Fira Code Regular Nerd Font Complete.ttf rename to FiraCode/fonts/FiraCode-Regular-NerdFont-Complete.ttf