Updates & emojis
This commit is contained in:
parent
4c21659ef9
commit
803fa03e07
3 changed files with 12 additions and 6 deletions
6
flake.lock
generated
6
flake.lock
generated
|
|
@ -7,11 +7,11 @@
|
||||||
]
|
]
|
||||||
},
|
},
|
||||||
"locked": {
|
"locked": {
|
||||||
"lastModified": 1739791827,
|
"lastModified": 1739841949,
|
||||||
"narHash": "sha256-l6ooDEtfzet9qRQxlb5A+H6eY7VPpdiGMwqX0nqD1xM=",
|
"narHash": "sha256-lSOXdgW/1zi/SSu7xp71v+55D5Egz8ACv0STkj7fhbs=",
|
||||||
"owner": "nix-community",
|
"owner": "nix-community",
|
||||||
"repo": "disko",
|
"repo": "disko",
|
||||||
"rev": "af4a580628e98302bb922c01e1169ce08d7bee57",
|
"rev": "15dbf8cebd8e2655a883b74547108e089f051bf0",
|
||||||
"type": "github"
|
"type": "github"
|
||||||
},
|
},
|
||||||
"original": {
|
"original": {
|
||||||
|
|
|
||||||
|
|
@ -21,7 +21,10 @@
|
||||||
})
|
})
|
||||||
];
|
];
|
||||||
|
|
||||||
nixpkgs.config.allowUnfree = true;
|
nixpkgs.config = {
|
||||||
|
allowUnfree = true;
|
||||||
|
# allowBroken = true;
|
||||||
|
};
|
||||||
|
|
||||||
nix.extraOptions = ''
|
nix.extraOptions = ''
|
||||||
experimental-features = nix-command flakes
|
experimental-features = nix-command flakes
|
||||||
|
|
|
||||||
|
|
@ -113,6 +113,8 @@ in {
|
||||||
nixd
|
nixd
|
||||||
nixfmt-rfc-style
|
nixfmt-rfc-style
|
||||||
protege # LogIA Course
|
protege # LogIA Course
|
||||||
|
haskellPackages.Agda
|
||||||
|
agdaPackages.standard-library
|
||||||
|
|
||||||
# Containers & VMs
|
# Containers & VMs
|
||||||
toolbox
|
toolbox
|
||||||
|
|
@ -217,12 +219,13 @@ in {
|
||||||
noto-fonts-emoji
|
noto-fonts-emoji
|
||||||
cantarell-fonts
|
cantarell-fonts
|
||||||
twitter-color-emoji
|
twitter-color-emoji
|
||||||
|
twemoji-color-font
|
||||||
(nerdfonts.override { fonts = [ "JetBrainsMono" ]; })
|
(nerdfonts.override { fonts = [ "JetBrainsMono" ]; })
|
||||||
];
|
];
|
||||||
|
|
||||||
fontDir.enable = true;
|
|
||||||
|
|
||||||
fontconfig = {
|
fontconfig = {
|
||||||
|
useEmbeddedBitmaps = true;
|
||||||
|
|
||||||
defaultFonts = {
|
defaultFonts = {
|
||||||
sansSerif = [ "Cantarell" "Noto Sans" ];
|
sansSerif = [ "Cantarell" "Noto Sans" ];
|
||||||
monospace = [ "JetBrainsMono Nerd Font" ];
|
monospace = [ "JetBrainsMono Nerd Font" ];
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue