| 29 Nov 2023 |
Paul Meyer (katexochen) | Gibt es Performancevorteile, wenn ich einen anderen Server nutze? Oder ist Element als frontend so langsam? | 19:23:25 |
CRTified | Bei meinen Freunden kam der Anreiz aber von wem anderes, war vorher xmpp-verfechter | 19:23:34 |
CRTified | In reply to @katexochen:matrix.org Gibt es Performancevorteile, wenn ich einen anderen Server nutze? Oder ist Element als frontend so langsam? Element und der sync sind so lahm | 19:24:07 |
CRTified | Ich habe noch eine Telegram- und Minecraft-bridge dafür am laufen | 19:24:40 |
Benedikt Ritter (britter) | Kann es sein, dass das Alacritty Home Manager module einen bug hat? Das rendert die alacritty.yml als JSON und nicht als Yaml. | 19:33:42 |
Benedikt Ritter (britter) | Oder ist JSON auch gueltiges YAML? 🤔️ | 19:34:04 |
Moritz Sanft | JSON ist ein Subset von YAML | 19:34:40 |
Benedikt Ritter (britter) | TIL | 19:37:35 |
Benedikt Ritter (britter) | Fira Code als Font zu setzen klappt bei mir trotzdem nicht 😮💨️ | 19:38:10 |
Moritz Sanft | Wie sieht deine config denn aus? | 19:38:33 |
Benedikt Ritter (britter) | Du meinst in Nix oder was am Ende rauskommt? | 19:39:16 |
Moritz Sanft | Egal eigentlich. Für ersteres hätte ich das hier als funktionierende Referenz grad zur Hand ;-) https://github.com/msanft/nixos-conf/blob/master/modules/home/shell/alacritty.nix | 19:39:50 |
Benedikt Ritter (britter) | programs.alacritty = {
enable = true;
settings = {
font.normal.family = "Fira Code";
};
};
| 19:42:10 |
Moritz Sanft | Was sagt „fc-list | grep fira“? | 19:42:52 |
Moritz Sanft | (Zur Überprüfung, ob der Name so stimmt) | 19:43:23 |
Benedikt Ritter (britter) | Ich gucke, eine Moment | 19:44:17 |
Benedikt Ritter (britter) | fc-list | grep FiraCode
/nix/store/i5zp7viyl9h6r5sv7mz7bc73s4lb51rr-nerdfonts-3.0.1/share/fonts/truetype/NerdFonts/FiraCodeNerdFontMono-Bold.ttf: FiraCode Nerd Font Mono:style=Bold
/nix/store/i5zp7viyl9h6r5sv7mz7bc73s4lb51rr-nerdfonts-3.0.1/share/fonts/truetype/NerdFonts/FiraCodeNerdFont-Medium.ttf: FiraCode Nerd Font,FiraCode Nerd Font Med:style=Medium,Regular
/nix/store/i5zp7viyl9h6r5sv7mz7bc73s4lb51rr-nerdfonts-3.0.1/share/fonts/truetype/NerdFonts/FiraCodeNerdFont-Regular.ttf: FiraCode Nerd Font:style=Regular
/nix/store/i5zp7viyl9h6r5sv7mz7bc73s4lb51rr-nerdfonts-3.0.1/share/fonts/truetype/NerdFonts/FiraCodeNerdFontPropo-Light.ttf: FiraCode Nerd Font Propo,FiraCode Nerd Font Propo Light:style=Light,Regular
/nix/store/i5zp7viyl9h6r5sv7mz7bc73s4lb51rr-nerdfonts-3.0.1/share/fonts/truetype/NerdFonts/FiraCodeNerdFontPropo-SemiBold.ttf: FiraCode Nerd Font Propo,FiraCode Nerd Font Propo SemBd:style=SemiBold,Regular
/nix/store/i5zp7viyl9h6r5sv7mz7bc73s4lb51rr-nerdfonts-3.0.1/share/fonts/truetype/NerdFonts/FiraCodeNerdFontMono-Retina.ttf: FiraCode Nerd Font Mono,FiraCode Nerd Font Mono Ret:style=Retina,Regular
/nix/store/i5zp7viyl9h6r5sv7mz7bc73s4lb51rr-nerdfonts-3.0.1/share/fonts/truetype/NerdFonts/FiraCodeNerdFont-Retina.ttf: FiraCode Nerd Font,FiraCode Nerd Font Ret:style=Retina,Regular
/nix/store/i5zp7viyl9h6r5sv7mz7bc73s4lb51rr-nerdfonts-3.0.1/share/fonts/truetype/NerdFonts/FiraCodeNerdFontMono-Regular.ttf: FiraCode Nerd Font Mono:style=Regular
/nix/store/i5zp7viyl9h6r5sv7mz7bc73s4lb51rr-nerdfonts-3.0.1/share/fonts/truetype/NerdFonts/FiraCodeNerdFontPropo-Regular.ttf: FiraCode Nerd Font Propo:style=Regular
/nix/store/i5zp7viyl9h6r5sv7mz7bc73s4lb51rr-nerdfonts-3.0.1/share/fonts/truetype/NerdFonts/FiraCodeNerdFontMono-SemiBold.ttf: FiraCode Nerd Font Mono,FiraCode Nerd Font Mono SemBd:style=SemiBold,Regular
/nix/store/i5zp7viyl9h6r5sv7mz7bc73s4lb51rr-nerdfonts-3.0.1/share/fonts/truetype/NerdFonts/FiraCodeNerdFont-SemiBold.ttf: FiraCode Nerd Font,FiraCode Nerd Font SemBd:style=SemiBold,Regular
/nix/store/i5zp7viyl9h6r5sv7mz7bc73s4lb51rr-nerdfonts-3.0.1/share/fonts/truetype/NerdFonts/FiraCodeNerdFontMono-Medium.ttf: FiraCode Nerd Font Mono,FiraCode Nerd Font Mono Med:style=Medium,Regular
/nix/store/i5zp7viyl9h6r5sv7mz7bc73s4lb51rr-nerdfonts-3.0.1/share/fonts/truetype/NerdFonts/FiraCodeNerdFontPropo-Bold.ttf: FiraCode Nerd Font Propo:style=Bold
/nix/store/i5zp7viyl9h6r5sv7mz7bc73s4lb51rr-nerdfonts-3.0.1/share/fonts/truetype/NerdFonts/FiraCodeNerdFontMono-Light.ttf: FiraCode Nerd Font Mono,FiraCode Nerd Font Mono Light:style=Light,Regular
/nix/store/i5zp7viyl9h6r5sv7mz7bc73s4lb51rr-nerdfonts-3.0.1/share/fonts/truetype/NerdFonts/FiraCodeNerdFont-Bold.ttf: FiraCode Nerd Font:style=Bold
/nix/store/i5zp7viyl9h6r5sv7mz7bc73s4lb51rr-nerdfonts-3.0.1/share/fonts/truetype/NerdFonts/FiraCodeNerdFont-Light.ttf: FiraCode Nerd Font,FiraCode Nerd Font Light:style=Light,Regular
/nix/store/i5zp7viyl9h6r5sv7mz7bc73s4lb51rr-nerdfonts-3.0.1/share/fonts/truetype/NerdFonts/FiraCodeNerdFontPropo-Retina.ttf: FiraCode Nerd Font Propo,FiraCode Nerd Font Propo Ret:style=Retina,Regular
/nix/store/i5zp7viyl9h6r5sv7mz7bc73s4lb51rr-nerdfonts-3.0.1/share/fonts/truetype/NerdFonts/FiraCodeNerdFontPropo-Medium.ttf: FiraCode Nerd Font Propo,FiraCode Nerd Font Propo Med:style=Medium,Regular
| 19:46:00 |
Benedikt Ritter (britter) | Also FiraCode als family?
| 19:46:16 |
Moritz Sanft | Dann Probier mal FiraCode Nerd Font | 19:46:23 |
Moritz Sanft | So habe ich es | 19:46:26 |
Benedikt Ritter (britter) | Okay | 19:46:30 |
Moritz Sanft | FiraCode dürfte aber auch gehen | 19:46:33 |
Moritz Sanft | Redacted or Malformed Event | 19:46:52 |
Moritz Sanft | Nevermind. Verlesen | 19:47:31 |
Benedikt Ritter (britter) | Jetzt hats funktioinert. | 19:47:54 |
Benedikt Ritter (britter) | Cool, Alacritty aendert sogar den Font zur laufzeit wenn sich die Config aendert. | 19:48:18 |
Benedikt Ritter (britter) | Wollte jetzt bald mal auf monaspace wechseln. Hat das schon einer ausprobiert? | 19:49:55 |
Moritz Sanft | Finde alle Varianten ganz furchtbar. :D | 19:50:48 |
Moritz Sanft | Aber gibt sicher Leute, die das auf NixOS schon nutzen | 19:51:16 |
Moritz Sanft | Github Code Search empfiehlt sich da immer, falls man sich schnell was zusammenkopieren will | 19:51:39 |