29 Nov 2023 |
Paul Meyer (katexochen) | In reply to @britter:yatrix.org
Paul Meyer (katexochen)du hast beim letzten meetup was von einem Setting erzaehlt, welches alle temp Dateien beim reboot loescht. Welches setting war das?
Da habe ich von impermanence geredet. Das löschen on boot ist aber nicht Teil des impermanence modules. | 19:02:25 |
Paul Meyer (katexochen) | Passiert bei mir hier: https://github.com/katexochen/nixos/blob/main/modules/impermanence/mod.nix#L34-L67 | 19:03:31 |
Paul Meyer (katexochen) | In reply to @britter:yatrix.org
okay, release-23.11 gibt's schon im nixpkgs repo. Aber noch kein Announcement und im Release Plan ist das release auch noch pending. Trotzdem schon mal alle Flakes updaten? 😁️
Das Release ist heute. | 19:06:17 |
CRTified | In reply to @britter:yatrix.org Wie bekommt man Familie und Freunde auf Matrix? 😄️ Freunde: "Hey, die RUB hat einen Matrix-Server, nutzt den".
Familie: "WhatsApp nutz ich nicht, aber hey, hier gibt es so ein cooles Protokoll, ich hab auch n Server dafür" | 19:13:36 |
Benedikt Ritter (britter) | Ich bin jetzt auf matrix.yatrix.org. Aber wie das mit WhatsApp funktioniert hab ich noch nicht rausgefunden. Bzw. mich noch nicht mit beschaeftigt. | 19:20:18 |
CRTified | In reply to @britter:yatrix.org Ich bin jetzt auf matrix.yatrix.org. Aber wie das mit WhatsApp funktioniert hab ich noch nicht rausgefunden. Bzw. mich noch nicht mit beschaeftigt. Nicht gut. Deswegen habe ich meine Eltern direkt auf Matrix und meinem eigenen Homeserver | 19:22:43 |
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 |