leonv/nixos
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

minor

Browse source
This commit is contained in:
Leon Vatthauer 2024-03-20 16:12:45 +01:00
parent 0461f6bd02
commit 1210e449db
Signed by: leonv
SSH key fingerprint: SHA256:G4+ddwoZmhLPRB1agvXzZMXIzkVJ36dUYZXf5NxT+u8
3 changed files with 10 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
common/vscode.nix
View file

@ -38,6 +38,12 @@
version = "0.0.226";
sha256 = "sha256-Fj9cw+VJ2jkTGUclB1TLvURhzQsaryFQs/+f2RZOLHs=";
}
{
name = "lean4";
publisher = "leanprover";
version = "0.0.133";
sha256 = "sha256-tjBTOkh4UeEmOo/ZbadpeyW07QiPcUO4aI2NWdtTxrE=";
}
];
userSettings = {
"agdaMode.connection.agdaLanguageServer" = false;

2
gunther/hypr/hyprland.nix
View file

@ -155,7 +155,7 @@
font = "monospace 14";
terminal = "foot";
extraConfig = {
modi = "drun,run,top";
modi = "drun,run";
};
plugins = [
pkgs.rofi-top

4
gunther/leonv.nix
View file

@ -15,6 +15,7 @@
orchis-theme
# stuff
tidal-hifi
jq
vlc
openvpn
@ -81,11 +82,12 @@
yubikey-manager
# agda
(agda.withPackages [
agdaPackages.standard-library
agdaPackages.agda-categories
])
lean4
];
programs.home-manager.enable = true;