Skip to content

Commit 3a08ee6

Browse files
letypequividelespoubellesletypequividelespoubelles
authored
build: update jetbrain font (#112)
Signed-off-by: F Bojarski <[email protected]>
1 parent 6c16c18 commit 3a08ee6

File tree

96 files changed

+99
-99
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

96 files changed

+99
-99
lines changed

‎.github/workflows/compile.yml

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -9,12 +9,12 @@ jobs:
99
runs-on: ubuntu-latest
1010
steps:
1111
- uses: actions/checkout@v3
12-
- name: Install JetBrainsMono # https://www.guyrutenberg.com/2020/01/29/install-jetbrains-mono-in-debian-ubuntu/
12+
- name: Install JetBrainsMono
1313
run: mkdir JetBrainsMono
1414
&& cd JetBrainsMono
15-
&& wget https://github.com/ryanoasis/nerd-fonts/releases/download/v3.2.1/JetBrainsMono.zip
16-
&& unzip JetBrainsMono.zip
17-
&& sudo mv JetBrainsMono*.ttf /usr/share/fonts/
15+
&& wget https://download.jetbrains.com/fonts/JetBrainsMono-2.304.zip
16+
&& unzip JetBrainsMono-2.304.zip
17+
&& sudo mv fonts/ttf/*.ttf /usr/share/fonts/
1818
&& cd -
1919
- name: Install fontawesome
2020
run: sudo apt-get install fonts-font-awesome

‎alu/add/lua/layout.lua.tex

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@
99
}
1010
)}
1111

12-
\setmonofont{JetBrains Mono NF Regular}[
12+
\setmonofont{JetBrains Mono NL Regular}[
1313
RawFeature={fallback=emojifallback}
1414
]
1515

‎alu/add/lua/small.lua.tex

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@
99
}
1010
)}
1111

12-
\setmonofont{JetBrains Mono NF Regular}[
12+
\setmonofont{JetBrains Mono NL Regular}[
1313
RawFeature={fallback=emojifallback}
1414
]
1515

‎alu/add/lua/sparse.lua.tex

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@
99
}
1010
)}
1111

12-
\setmonofont{JetBrains Mono NF Regular}[
12+
\setmonofont{JetBrains Mono NL Regular}[
1313
RawFeature={fallback=emojifallback}
1414
]
1515

‎block_data/lua/flags_and_ct.lua.tex

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -11,7 +11,7 @@
1111
}
1212
)}
1313

14-
\setmonofont{JetBrains Mono NF Regular}[
14+
\setmonofont{JetBrains Mono NL Regular}[
1515
RawFeature={fallback=emojifallback}
1616
]
1717

‎block_data/lua/layout.lua.tex

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -11,7 +11,7 @@
1111
}
1212
)}
1313

14-
\setmonofont{JetBrains Mono NF Regular}[
14+
\setmonofont{JetBrains Mono NL Regular}[
1515
RawFeature={fallback=emojifallback}
1616
]
1717

‎block_hash/lua/representation.lua.tex

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@
99
}
1010
)}
1111

12-
\setmonofont{JetBrains Mono NF Regular}[
12+
\setmonofont{JetBrains Mono NL Regular}[
1313
RawFeature={fallback=emojifallback}
1414
]
1515

‎hash_data/lua/layout.lua.tex

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@
99
}
1010
)}
1111

12-
\setmonofont{JetBrains Mono NF Regular}[
12+
\setmonofont{JetBrains Mono NL Regular}[
1313
RawFeature={fallback=emojifallback}
1414
]
1515

‎hub/instruction_handling/call/generalities/lua/abort/will_revert.lua.tex

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@
99
}
1010
)}
1111

12-
\setmonofont{JetBrains Mono NF Regular}[
12+
\setmonofont{JetBrains Mono NL Regular}[
1313
RawFeature={fallback=emojifallback}
1414
]
1515

‎hub/instruction_handling/call/generalities/lua/abort/wont_revert.lua.tex

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@
99
}
1010
)}
1111

12-
\setmonofont{JetBrains Mono NF Regular}[
12+
\setmonofont{JetBrains Mono NL Regular}[
1313
RawFeature={fallback=emojifallback}
1414
]
1515

‎hub/instruction_handling/call/generalities/lua/entry.lua.tex

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@
99
}
1010
)}
1111

12-
\setmonofont{JetBrains Mono NF Regular}[
12+
\setmonofont{JetBrains Mono NL Regular}[
1313
RawFeature={fallback=emojifallback}
1414
]
1515

‎hub/instruction_handling/call/generalities/lua/exceptions/mxpx.lua.tex

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@
99
}
1010
)}
1111

12-
\setmonofont{JetBrains Mono NF Regular}[
12+
\setmonofont{JetBrains Mono NL Regular}[
1313
RawFeature={fallback=emojifallback}
1414
]
1515

‎hub/instruction_handling/call/generalities/lua/exceptions/oogx.lua.tex

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@
99
}
1010
)}
1111

12-
\setmonofont{JetBrains Mono NF Regular}[
12+
\setmonofont{JetBrains Mono NL Regular}[
1313
RawFeature={fallback=emojifallback}
1414
]
1515

‎hub/instruction_handling/call/generalities/lua/exceptions/staticx.lua.tex

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@
99
}
1010
)}
1111

12-
\setmonofont{JetBrains Mono NF Regular}[
12+
\setmonofont{JetBrains Mono NL Regular}[
1313
RawFeature={fallback=emojifallback}
1414
]
1515

‎hub/instruction_handling/call/precompiles/blake/lua/common.lua.tex

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -11,7 +11,7 @@
1111
)}
1212

1313

14-
\setmonofont{JetBrains Mono NF Regular}[
14+
\setmonofont{JetBrains Mono NL Regular}[
1515
RawFeature={fallback=emojifallback}
1616
]
1717

‎hub/instruction_handling/call/precompiles/blake/lua/failure_KTH.lua.tex

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -11,7 +11,7 @@
1111

1212
\usepackage{../../../../../../pkg/draculatheme}
1313

14-
\setmonofont{JetBrains Mono NF Regular}[
14+
\setmonofont{JetBrains Mono NL Regular}[
1515
RawFeature={fallback=emojifallback}
1616
]
1717

‎hub/instruction_handling/call/precompiles/blake/lua/failure_KTR.lua.tex

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -11,7 +11,7 @@
1111

1212
\usepackage{../../../../../../pkg/draculatheme}
1313

14-
\setmonofont{JetBrains Mono NF Regular}[
14+
\setmonofont{JetBrains Mono NL Regular}[
1515
RawFeature={fallback=emojifallback}
1616
]
1717

‎hub/instruction_handling/call/precompiles/blake/lua/success.lua.tex

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -11,7 +11,7 @@
1111

1212
\usepackage{../../../../../../pkg/draculatheme}
1313

14-
\setmonofont{JetBrains Mono NF Regular}[
14+
\setmonofont{JetBrains Mono NL Regular}[
1515
RawFeature={fallback=emojifallback}
1616
]
1717

‎hub/instruction_handling/call/precompiles/common/lua/setup.lua.tex

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -11,7 +11,7 @@
1111
}
1212
)}
1313

14-
\setmonofont{JetBrains Mono NF Regular}[
14+
\setmonofont{JetBrains Mono NL Regular}[
1515
RawFeature={fallback=emojifallback}
1616
]
1717

‎hub/instruction_handling/call/precompiles/common/lua/setup_ecpairing.lua.tex

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -11,7 +11,7 @@
1111

1212
\usepackage{../../../../../../pkg/draculatheme}
1313

14-
\setmonofont{JetBrains Mono NF Regular}[
14+
\setmonofont{JetBrains Mono NL Regular}[
1515
RawFeature={fallback=emojifallback}
1616
]
1717

‎hub/instruction_handling/call/precompiles/ecadd_ecmul_ecpairing/lua/ecaddmul_common.lua.tex

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -11,7 +11,7 @@
1111

1212
\usepackage{../../../../../../pkg/draculatheme}
1313

14-
\setmonofont{JetBrains Mono NF Regular}[
14+
\setmonofont{JetBrains Mono NL Regular}[
1515
RawFeature={fallback=emojifallback}
1616
]
1717

‎hub/instruction_handling/call/precompiles/ecadd_ecmul_ecpairing/lua/ecaddmul_failure_KTH.lua.tex

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -11,7 +11,7 @@
1111

1212
\usepackage{../../../../../../pkg/draculatheme}
1313

14-
\setmonofont{JetBrains Mono NF Regular}[
14+
\setmonofont{JetBrains Mono NL Regular}[
1515
RawFeature={fallback=emojifallback}
1616
]
1717

‎hub/instruction_handling/call/precompiles/ecadd_ecmul_ecpairing/lua/ecaddmul_failure_KTR.lua.tex

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -11,7 +11,7 @@
1111

1212
\usepackage{../../../../../../pkg/draculatheme}
1313

14-
\setmonofont{JetBrains Mono NF Regular}[
14+
\setmonofont{JetBrains Mono NL Regular}[
1515
RawFeature={fallback=emojifallback}
1616
]
1717

‎hub/instruction_handling/call/precompiles/ecadd_ecmul_ecpairing/lua/ecaddmul_success.lua.tex

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -11,7 +11,7 @@
1111

1212
\usepackage{../../../../../../pkg/draculatheme}
1313

14-
\setmonofont{JetBrains Mono NF Regular}[
14+
\setmonofont{JetBrains Mono NL Regular}[
1515
RawFeature={fallback=emojifallback}
1616
]
1717

‎hub/instruction_handling/call/precompiles/ecadd_ecmul_ecpairing/lua/ecpairing_common.lua.tex

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -11,7 +11,7 @@
1111

1212
\usepackage{../../../../../../pkg/draculatheme}
1313

14-
\setmonofont{JetBrains Mono NF Regular}[
14+
\setmonofont{JetBrains Mono NL Regular}[
1515
RawFeature={fallback=emojifallback}
1616
]
1717

‎hub/instruction_handling/call/precompiles/ecadd_ecmul_ecpairing/lua/ecpairing_failure_KTH.lua.tex

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -11,7 +11,7 @@
1111

1212
\usepackage{../../../../../../pkg/draculatheme}
1313

14-
\setmonofont{JetBrains Mono NF Regular}[
14+
\setmonofont{JetBrains Mono NL Regular}[
1515
RawFeature={fallback=emojifallback}
1616
]
1717

‎hub/instruction_handling/call/precompiles/ecadd_ecmul_ecpairing/lua/ecpairing_failure_KTR.lua.tex

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -11,7 +11,7 @@
1111

1212
\usepackage{../../../../../../pkg/draculatheme}
1313

14-
\setmonofont{JetBrains Mono NF Regular}[
14+
\setmonofont{JetBrains Mono NL Regular}[
1515
RawFeature={fallback=emojifallback}
1616
]
1717

‎hub/instruction_handling/call/precompiles/ecadd_ecmul_ecpairing/lua/ecpairing_success.lua.tex

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -10,7 +10,7 @@
1010
}
1111
)}
1212

13-
\setmonofont{JetBrains Mono NF Regular}[
13+
\setmonofont{JetBrains Mono NL Regular}[
1414
RawFeature={fallback=emojifallback}
1515
]
1616

‎hub/instruction_handling/call/precompiles/ecrecover/lua/common.lua.tex

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -11,7 +11,7 @@
1111

1212
\usepackage{../../../../../../pkg/draculatheme}
1313

14-
\setmonofont{JetBrains Mono NF Regular}[
14+
\setmonofont{JetBrains Mono NL Regular}[
1515
RawFeature={fallback=emojifallback}
1616
]
1717

‎hub/instruction_handling/call/precompiles/ecrecover/lua/failure_KTH.lua.tex

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -11,7 +11,7 @@
1111

1212
\usepackage{../../../../../../pkg/draculatheme}
1313

14-
\setmonofont{JetBrains Mono NF Regular}[
14+
\setmonofont{JetBrains Mono NL Regular}[
1515
RawFeature={fallback=emojifallback}
1616
]
1717

‎hub/instruction_handling/call/precompiles/ecrecover/lua/success.lua.tex

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -11,7 +11,7 @@
1111

1212
\usepackage{../../../../../../pkg/draculatheme}
1313

14-
\setmonofont{JetBrains Mono NF Regular}[
14+
\setmonofont{JetBrains Mono NL Regular}[
1515
RawFeature={fallback=emojifallback}
1616
]
1717

‎hub/instruction_handling/call/precompiles/identity/lua/failure_KTH.lua.tex

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -11,7 +11,7 @@
1111

1212
\usepackage{../../../../../../pkg/draculatheme}
1313

14-
\setmonofont{JetBrains Mono NF Regular}[
14+
\setmonofont{JetBrains Mono NL Regular}[
1515
RawFeature={fallback=emojifallback}
1616
]
1717

‎hub/instruction_handling/call/precompiles/identity/lua/success.lua.tex

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -11,7 +11,7 @@
1111

1212
\usepackage{../../../../../../pkg/draculatheme}
1313

14-
\setmonofont{JetBrains Mono NF Regular}[
14+
\setmonofont{JetBrains Mono NL Regular}[
1515
RawFeature={fallback=emojifallback}
1616
]
1717

‎hub/instruction_handling/call/precompiles/modexp/lua/common.lua.tex

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -11,7 +11,7 @@
1111

1212
\usepackage{../../../../../../pkg/draculatheme}
1313

14-
\setmonofont{JetBrains Mono NF Regular}[
14+
\setmonofont{JetBrains Mono NL Regular}[
1515
RawFeature={fallback=emojifallback}
1616
]
1717

‎hub/instruction_handling/call/precompiles/modexp/lua/failure_KTR.lua.tex

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -11,7 +11,7 @@
1111

1212
\usepackage{../../../../../../pkg/draculatheme}
1313

14-
\setmonofont{JetBrains Mono NF Regular}[
14+
\setmonofont{JetBrains Mono NL Regular}[
1515
RawFeature={fallback=emojifallback}
1616
]
1717

‎hub/instruction_handling/call/precompiles/modexp/lua/success.lua.tex

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -11,7 +11,7 @@
1111

1212
\usepackage{../../../../../../pkg/draculatheme}
1313

14-
\setmonofont{JetBrains Mono NF Regular}[
14+
\setmonofont{JetBrains Mono NL Regular}[
1515
RawFeature={fallback=emojifallback}
1616
]
1717

‎hub/instruction_handling/call/precompiles/sha2_ripemd/lua/failure_KTH.lua.tex

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -11,7 +11,7 @@
1111

1212
\usepackage{../../../../../../pkg/draculatheme}
1313

14-
\setmonofont{JetBrains Mono NF Regular}[
14+
\setmonofont{JetBrains Mono NL Regular}[
1515
RawFeature={fallback=emojifallback}
1616
]
1717

‎hub/instruction_handling/call/precompiles/sha2_ripemd/lua/success.lua.tex

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -11,7 +11,7 @@
1111

1212
\usepackage{../../../../../../pkg/draculatheme}
1313

14-
\setmonofont{JetBrains Mono NF Regular}[
14+
\setmonofont{JetBrains Mono NL Regular}[
1515
RawFeature={fallback=emojifallback}
1616
]
1717

‎hub/instruction_handling/create/lua/abort.lua.tex

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@
99
}
1010
)}
1111

12-
\setmonofont{JetBrains Mono NF Regular}[
12+
\setmonofont{JetBrains Mono NL Regular}[
1313
RawFeature={fallback=emojifallback}
1414
]
1515

‎hub/instruction_handling/create/lua/empty/will_revert.lua.tex

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@
99
}
1010
)}
1111

12-
\setmonofont{JetBrains Mono NF Regular}[
12+
\setmonofont{JetBrains Mono NL Regular}[
1313
RawFeature={fallback=emojifallback}
1414
]
1515

‎hub/instruction_handling/create/lua/empty/wont_revert.lua.tex

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@
99
}
1010
)}
1111

12-
\setmonofont{JetBrains Mono NF Regular}[
12+
\setmonofont{JetBrains Mono NL Regular}[
1313
RawFeature={fallback=emojifallback}
1414
]
1515

‎hub/instruction_handling/create/lua/exceptions/mxpx.lua.tex

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@
99
}
1010
)}
1111

12-
\setmonofont{JetBrains Mono NF Regular}[
12+
\setmonofont{JetBrains Mono NL Regular}[
1313
RawFeature={fallback=emojifallback}
1414
]
1515

‎hub/instruction_handling/create/lua/exceptions/oogx.lua.tex

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@
99
}
1010
)}
1111

12-
\setmonofont{JetBrains Mono NF Regular}[
12+
\setmonofont{JetBrains Mono NL Regular}[
1313
RawFeature={fallback=emojifallback}
1414
]
1515

0 commit comments

Comments
 (0)