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

Compare commits

base: leonv:55f125dae06f4ae9efa4fa559ceca7300eaa398b
Branches Tags
leonv:main
leonv:raspberrypi
leonv:nixos-darwin
...
compare: leonv:1210e449db867ae468a595e60efbe56ee62ebda4
Branches Tags
leonv:main
leonv:raspberrypi
leonv:nixos-darwin

2 commits
55f125dae0 ... 1210e449db

Author SHA1 Message Date
Leon Vatthauer
1210e449db
minor 2024-03-20 16:12:45 +01:00
Leon Vatthauer
0461f6bd02
flake.lock: Update 
Flake lock file updates:

• Updated input 'cask-fonts':
    'github:homebrew/homebrew-cask-fonts/533f3d95f5200c1489b38a6fcfbf110b707a0dff' (2024-03-08)
  → 'github:homebrew/homebrew-cask-fonts/44a579d41aa4295a9bfa71c197e997eca9a6d72b' (2024-03-18)
• Updated input 'darwin':
    'github:lnl7/nix-darwin/550340062c16d7ef8c2cc20a3d2b97bcd3c6b6f6' (2024-03-07)
  → 'github:lnl7/nix-darwin/bcc8afd06e237df060c85bad6af7128e05fd61a3' (2024-03-17)
• Updated input 'home-manager':
    'github:nix-community/home-manager/17431970b4ebc75a92657101ccffcfc9e1f9d8f0' (2024-03-08)
  → 'github:nix-community/home-manager/022464438a85450abb23d93b91aa82e0addd71fb' (2024-03-19)
• Updated input 'homebrew-cask':
    'github:homebrew/homebrew-cask/43b9db57368e350c116398c7da6cb5401cd37ebe' (2024-03-09)
  → 'github:homebrew/homebrew-cask/32ec3450608d2ca898cd37e3e3fa83911787bde1' (2024-03-19)
• Updated input 'homebrew-core':
    'github:homebrew/homebrew-core/a38d7e99bc103e9564208f2d155701d70001c8cc' (2024-03-09)
  → 'github:homebrew/homebrew-core/e0a91487110b6f86ca1624896f9fdf953ca4e9f6' (2024-03-19)
• Updated input 'hyprland-contrib':
    'github:hyprwm/contrib/2d4ece4a008feefddc194bde785b1d39f987b5a7' (2024-03-02)
  → 'github:hyprwm/contrib/75420d09f93346d9d23d5a1e26b42699f6b66cd6' (2024-03-14)
• Updated input 'unstable':
    'github:nixos/nixpkgs/9df3e30ce24fd28c7b3e2de0d986769db5d6225d' (2024-03-06)
  → 'github:nixos/nixpkgs/c75037bbf9093a2acb617804ee46320d6d1fea5a' (2024-03-16)
 2024-03-19 09:22:41 +01:00
4 changed files with 31 additions and 23 deletions
Show stats 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;

42
flake.lock
View file

@ -20,11 +20,11 @@
"cask-fonts": {
"flake": false,
"locked": {
"lastModified": 1709912827,
"narHash": "sha256-yI4y7VJ+QSxDv19yjj9TWn3r2tPXjS4nWyAjJMFfJ3k=",
"lastModified": 1710722056,
"narHash": "sha256-Paot9B0/6q8sbnZboKj3F/s3surOszQ5uWhgLBkpjR4=",
"owner": "homebrew",
"repo": "homebrew-cask-fonts",
"rev": "533f3d95f5200c1489b38a6fcfbf110b707a0dff",
"rev": "44a579d41aa4295a9bfa71c197e997eca9a6d72b",
"type": "github"
},
"original": {
@ -55,11 +55,11 @@
]
},
"locked": {
"lastModified": 1709771483,
"narHash": "sha256-Hjzu9nCknHLQvhdaRFfCEprH0o15KcaNu1QDr3J88DI=",
"lastModified": 1710717205,
"narHash": "sha256-Wf3gHh5uV6W1TV/A8X8QJf99a5ypDSugY4sNtdJDe0A=",
"owner": "lnl7",
"repo": "nix-darwin",
"rev": "550340062c16d7ef8c2cc20a3d2b97bcd3c6b6f6",
"rev": "bcc8afd06e237df060c85bad6af7128e05fd61a3",
"type": "github"
},
"original": {
@ -128,11 +128,11 @@
]
},
"locked": {
"lastModified": 1709938482,
"narHash": "sha256-2Vw2WOFmEXWQH8ziFNOr0U48Guh5FacuD6BOEIcE99s=",
"lastModified": 1710820906,
"narHash": "sha256-2bNMraoRB4pdw/HtxgYTFeMhEekBZeQ53/a8xkqpbZc=",
"owner": "nix-community",
"repo": "home-manager",
"rev": "17431970b4ebc75a92657101ccffcfc9e1f9d8f0",
"rev": "022464438a85450abb23d93b91aa82e0addd71fb",
"type": "github"
},
"original": {
@ -144,11 +144,11 @@
"homebrew-cask": {
"flake": false,
"locked": {
"lastModified": 1709955474,
"narHash": "sha256-pE5x579FqCieeeEmrUtNKoBsMG41WSOfGWtXCTI9FP4=",
"lastModified": 1710831589,
"narHash": "sha256-p5yFVctZiDgDgUJMUQDql3rjq5Ub3F5f34isKU6ljjs=",
"owner": "homebrew",
"repo": "homebrew-cask",
"rev": "43b9db57368e350c116398c7da6cb5401cd37ebe",
"rev": "32ec3450608d2ca898cd37e3e3fa83911787bde1",
"type": "github"
},
"original": {
@ -160,11 +160,11 @@
"homebrew-core": {
"flake": false,
"locked": {
"lastModified": 1709956143,
"narHash": "sha256-5eyfpnVhxVv3+n53vp4j9DNx7O+mqtQqUn90JKS1PMM=",
"lastModified": 1710832165,
"narHash": "sha256-RKztyDRLe7Glow4i4MHrsvzgL2ZAQcsZ7ygKcwhMyBU=",
"owner": "homebrew",
"repo": "homebrew-core",
"rev": "a38d7e99bc103e9564208f2d155701d70001c8cc",
"rev": "e0a91487110b6f86ca1624896f9fdf953ca4e9f6",
"type": "github"
},
"original": {
@ -180,11 +180,11 @@
]
},
"locked": {
"lastModified": 1709391291,
"narHash": "sha256-NJwAgXRKLVuO3YLkGxXIanLvTKN+cJsYwbLoWOa7ODk=",
"lastModified": 1710415616,
"narHash": "sha256-1qVByzzCcKoCmP8ReUSAjKU5V9pfTLHQIM4WI1tvQ9E=",
"owner": "hyprwm",
"repo": "contrib",
"rev": "2d4ece4a008feefddc194bde785b1d39f987b5a7",
"rev": "75420d09f93346d9d23d5a1e26b42699f6b66cd6",
"type": "github"
},
"original": {
@ -341,11 +341,11 @@
},
"unstable": {
"locked": {
"lastModified": 1709703039,
"narHash": "sha256-6hqgQ8OK6gsMu1VtcGKBxKQInRLHtzulDo9Z5jxHEFY=",
"lastModified": 1710631334,
"narHash": "sha256-rL5LSYd85kplL5othxK5lmAtjyMOBg390sGBTb3LRMM=",
"owner": "nixos",
"repo": "nixpkgs",
"rev": "9df3e30ce24fd28c7b3e2de0d986769db5d6225d",
"rev": "c75037bbf9093a2acb617804ee46320d6d1fea5a",
"type": "github"
},
"original": {

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;