!TZxOcMejPbtFPrCZIA:matrix.org

Nix Community Bochum

74 Members
Channel for the Nix Learning Group and other events in Bochum, Germany.28 Servers

Load older messages


SenderMessageTime
29 Nov 2023
@britter:yatrix.orgBenedikt Ritter (britter)Du meinst in Nix oder was am Ende rauskommt?19:39:16
@msanft:matrix.orgMoritz SanftEgal 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.nix19:39:50
@britter:yatrix.orgBenedikt Ritter (britter)
  programs.alacritty = {
    enable = true;
    settings = {
      font.normal.family = "Fira Code";
    };
  };
19:42:10
@msanft:matrix.orgMoritz SanftWas sagt „fc-list | grep fira“?19:42:52
@msanft:matrix.orgMoritz Sanft(Zur Überprüfung, ob der Name so stimmt)19:43:23
@britter:yatrix.orgBenedikt Ritter (britter)Ich gucke, eine Moment19:44:17
@britter:yatrix.orgBenedikt 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
@britter:yatrix.orgBenedikt Ritter (britter)

Also FiraCode als family?

19:46:16
@msanft:matrix.orgMoritz SanftDann Probier mal FiraCode Nerd Font19:46:23
@msanft:matrix.orgMoritz SanftSo habe ich es19:46:26
@britter:yatrix.orgBenedikt Ritter (britter)Okay19:46:30
@msanft:matrix.orgMoritz SanftFiraCode dürfte aber auch gehen19:46:33
@msanft:matrix.orgMoritz SanftRedacted or Malformed Event19:46:52
@msanft:matrix.orgMoritz SanftNevermind. Verlesen19:47:31
@britter:yatrix.orgBenedikt Ritter (britter)Jetzt hats funktioinert.19:47:54
@britter:yatrix.orgBenedikt Ritter (britter)Cool, Alacritty aendert sogar den Font zur laufzeit wenn sich die Config aendert.19:48:18
@britter:yatrix.orgBenedikt Ritter (britter)Wollte jetzt bald mal auf monaspace wechseln. Hat das schon einer ausprobiert?19:49:55
@msanft:matrix.orgMoritz Sanft Finde alle Varianten ganz furchtbar. :D 19:50:48
@msanft:matrix.orgMoritz SanftAber gibt sicher Leute, die das auf NixOS schon nutzen19:51:16
@msanft:matrix.orgMoritz SanftGithub Code Search empfiehlt sich da immer, falls man sich schnell was zusammenkopieren will19:51:39
30 Nov 2023
@3u13r:matrix.org3u13r joined the room.11:39:52
@britter:yatrix.orgBenedikt 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
@britter:yatrix.orgBenedikt 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
@msanft:matrix.orgMoritz SanftDas sollte klappen15:11:31
@msanft:matrix.orgMoritz SanftKannst ja mal Bescheid geben, wie es dann aussieht15:11:39
@crtified:crtified.meCRTifiedDer Fehler dürfte halb so wild sein - Ist ja nur GRUB, was nicht aktualisiert wurde15:12:28
@crtified:crtified.meCRTifiedWenn LUKS vorher funktioniert hat, wäre ich optimistisch dass es jetzt auch noch geht 😄15:13:06
@britter:yatrix.orgBenedikt Ritter (britter)

Wenn ich nixos-rebuild boot mache kommt der selbe fehler. Als ich in die alte generation booten wollte war der neue eintrag in GRUB aber da. Verstehe ich nicht.

15:17:49
@britter:yatrix.orgBenedikt Ritter (britter)Ich versuche jetzt mal in die neue generation zu booten. Mal sehen, was passiert.15:18:01
@crtified:crtified.meCRTified
In reply to @britter:yatrix.org

Wenn ich nixos-rebuild boot mache kommt der selbe fehler. Als ich in die alte generation booten wollte war der neue eintrag in GRUB aber da. Verstehe ich nicht.

Die Fehlermeldung ist nur eine Beschwerde, dass grub nicht aktualisiert wurde. Es war aber schon ein grub installiert
15:19:13

Show newer messages


Back to Room ListRoom Version: 10