1
0
mirror of https://github.com/aquatix/dotfiles.git synced 2025-12-06 22:55:10 +01:00
Commit Graph

26 Commits

Author SHA1 Message Date
034cbcfa90 New font, based on IBM Plex Mono 2025-09-22 20:29:50 +02:00
37077ac84a More clear warning/info 2023-11-30 16:56:46 +01:00
f2bebfaa3f JetBrains mono in NerdFonts variant; clean up old files 2023-11-30 16:55:30 +01:00
99be1b1d7f Include the Light variant of Monaspace 2023-11-30 13:37:37 +01:00
b50d8f0d67 Refreshed Nerd Fonts, added Monaspace Neon 2023-11-29 16:53:35 +01:00
3bb1890b81 Trying to optimise download by shallow cloning 2023-02-28 13:30:35 +01:00
a525440918 Updated font sources 2022-01-14 18:48:19 +01:00
0084ea18ef Disabled EmojiOne fallback font, it makes Telegram crash 2020-12-06 15:51:18 +01:00
28d1836e6f JetBrains Mono font 2020-01-20 08:53:45 +01:00
b8bf9d5585 Added SourceCode Pro; there are no italic Fira 2019-12-23 12:54:00 +01:00
a8c8ba5292 Added Rubik, as it's a nice UI font 2019-10-30 13:28:04 +01:00
938b40ae62 Added Fira Code to the set 2019-07-16 14:57:04 +02:00
589d745ee7 Regenerate font cache *after* deleting links 2018-06-11 10:44:14 +02:00
14a8c4945f nerd-fonts now have the real Hack font name 2018-04-04 16:09:34 +02:00
6c83ae3f3b Added 'Go' GUI fonts 2017-11-13 10:28:43 +01:00
e1b727c3ea Added Overpass font 2017-01-30 09:47:51 +01:00
1405adf820 Source for the Emoji One Color SVGinOT Font 2016-03-15 15:15:14 +01:00
0a82164421 Support for various fonts, in this case emojione colour font 2016-03-15 15:13:14 +01:00
9cf8c1905c Updated nerd-fonts 2015-11-16 10:44:11 +01:00
fb7ffcda58 Delete unnecessary fonts 2015-09-22 08:51:23 +02:00
2ee306e876 We don't need the non-mono font 2015-09-21 16:35:33 +02:00
a17bb3584f Fix for symlinking fonts 2015-09-21 15:43:26 +02:00
fdee21bf69 Updated with latest nerd-fonts, added Hack 2015-09-21 15:39:29 +02:00
21e0400532 Fix; let SauceCodePro use the function too; check for ~/.fonts 2015-08-28 12:51:06 +02:00
52b7cf0a13 Better checks and such 2015-08-28 12:48:49 +02:00
2f55819c03 Font updater 2015-08-28 11:39:33 +02:00