| 29 Nov 2023 |
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 |
| 30 Nov 2023 |
| Leonard Cohnen joined the room. | 11:39:52 |
Benedikt Ritter (britter) | Nice!
sudo nixos-rebuild switch --upgrade
[sudo] password for bene:
unpacking channels...
building the system configuration...
trace: warning: optionsDocBook is deprecated since 23.11 and will be removed in 24.05
trace: warning: optionsDocBook is deprecated since 23.11 and will be removed in 24.05
trace: warning: optionsDocBook is deprecated since 23.11 and will be removed in 24.05
trace: warning: The option `fonts.fonts' defined in `/nix/store/30p2alkqnhqsvw0xmf0wpc5d648a35n1-source/hosts/latitute-7280/configuration.nix' has been renamed to `fonts.packages'.
updating GRUB 2 menu...
Warning: os-prober will be executed to detect other bootable partitions.
Its output will be used to detect bootable binaries on them and create new boot entries.
lsblk: /dev/mapper/no*[0-9]: not a block device
lsblk: /dev/mapper/raid*[0-9]: not a block device
lsblk: /dev/mapper/disks*[0-9]: not a block device
installing the GRUB 2 boot loader on /dev/sda...
Installing for i386-pc platform.
/nix/store/qp220kp2wp6yz59snjd5j5072dv29zjg-grub-2.12-rc1/sbin/grub-install: error: attempt to install to encrypted disk without cryptodisk enabled. Set `GRUB_ENABLE_CRYPTODISK=y' in file `/nix/store/qp220kp2wp6yz59snjd5j5072dv29zjg-grub-2.12-rc1/etc/default/grub'.
/nix/store/6d5z9niwr0s5rn3mhqnzp6www61hxm2v-install-grub.pl: installation of GRUB on /dev/sda failed: Inappropriate ioctl for device
warning: error(s) occurred while switching to the new configuration
| 15:07:25 |
Benedikt Ritter (britter) | Ah, das stand sogar in den release notes... man sollte lieber mit nixos-rebuild boot updaten wegen dem systemd update... Okay, keine ahnung was ich jetzt mache. Versuche mal in die letzte generation zurueck zu booten
| 15:08:58 |
Moritz Sanft | Das sollte klappen | 15:11:31 |
Moritz Sanft | Kannst ja mal Bescheid geben, wie es dann aussieht | 15:11:39 |
CRTified | Der Fehler dürfte halb so wild sein - Ist ja nur GRUB, was nicht aktualisiert wurde | 15:12:28 |