Merge branch 'main' of paperclover.dev:nix/config

This commit is contained in:
Natalie Marks 2025-08-02 14:38:29 -07:00
commit b0b81115da
No known key found for this signature in database
GPG key ID: 61F4EAEB0C9C3D5F
12 changed files with 154 additions and 188 deletions

View file

@ -15,11 +15,11 @@
"sf-pro": "sf-pro"
},
"locked": {
"lastModified": 1748299691,
"narHash": "sha256-HMlx5HzeOOhpewq3y9UaSMP9AkhEo+AFJHZIWLQvJGw=",
"lastModified": 1752383772,
"narHash": "sha256-I5Y0gUJS85lGEuuKr+tKSRUpJWeKavE+WmiAHRcyBaU=",
"owner": "Lyndeno",
"repo": "apple-fonts.nix",
"rev": "ec51ae2e8ba89adbb5188c40aa262a7418c48b00",
"rev": "875c694d7f0ec2020d7511264907a1f0e3262931",
"type": "github"
},
"original": {
@ -89,11 +89,11 @@
]
},
"locked": {
"lastModified": 1749398372,
"narHash": "sha256-tYBdgS56eXYaWVW3fsnPQ/nFlgWi/Z2Ymhyu21zVM98=",
"lastModified": 1753121425,
"narHash": "sha256-TVcTNvOeWWk1DXljFxVRp+E0tzG1LhrVjOGGoMHuXio=",
"owner": "hercules-ci",
"repo": "flake-parts",
"rev": "9305fe4e5c2a6fcf5ba6a3ff155720fbe4076569",
"rev": "644e0fc48951a860279da645ba77fe4a6e814c5e",
"type": "github"
},
"original": {
@ -257,11 +257,11 @@
]
},
"locked": {
"lastModified": 1752093218,
"narHash": "sha256-+3rXu8ewcNDi65/2mKkdSGrivQs5zEZVp5aYszXC0d0=",
"lastModified": 1753943136,
"narHash": "sha256-eiEE5SabVcIlGSTRcRyBjmJMaYAV95SJnjy8YSsVeW4=",
"owner": "nix-community",
"repo": "home-manager",
"rev": "206ed3c71418b52e176f16f58805c96e84555320",
"rev": "bd82507edd860c453471c46957cbbe3c9fd01b5c",
"type": "github"
},
"original": {
@ -306,11 +306,11 @@
]
},
"locked": {
"lastModified": 1752099881,
"narHash": "sha256-mn6f4ci5C2jkyxgmBHQ4dI9V0/20DlyS6EbQz4w7znc=",
"lastModified": 1753293216,
"narHash": "sha256-4hAm9PYNHAsR3MxH8MhSZt7mTiR8MlhyQilLJEPdaZs=",
"owner": "moonlight-mod",
"repo": "moonlight",
"rev": "dbef0c38e1c0066de5ec35a4d4219026b1bd7010",
"rev": "297a1b57c14ff18890382b2fe89f493ba349a730",
"type": "github"
},
"original": {
@ -319,26 +319,6 @@
"type": "github"
}
},
"nh": {
"inputs": {
"nixpkgs": [
"nixpkgs"
]
},
"locked": {
"lastModified": 1751375534,
"narHash": "sha256-9z1W64dDVtVxqgPzUbjIQqRfygg1hdivUOZ6d/H+yFg=",
"owner": "viperML",
"repo": "nh",
"rev": "d0abb8eebe32f79ce4659e68dd777cf497a5d3d2",
"type": "github"
},
"original": {
"owner": "viperML",
"repo": "nh",
"type": "github"
}
},
"nix-index-database": {
"inputs": {
"nixpkgs": [
@ -346,11 +326,11 @@
]
},
"locked": {
"lastModified": 1751774635,
"narHash": "sha256-DuOznGdgMxeSlPpUu6Wkq0ZD5e2Cfv9XRZeZlHWMd1s=",
"lastModified": 1753589988,
"narHash": "sha256-y1JlcMB2dKFkrr6g+Ucmj8L//IY09BtSKTH/A7OU7mU=",
"owner": "nix-community",
"repo": "nix-index-database",
"rev": "85686025ba6d18df31cc651a91d5adef63378978",
"rev": "f0736b09c43028fd726fb70c3eb3d1f0795454cf",
"type": "github"
},
"original": {
@ -397,11 +377,11 @@
},
"nixpkgs_2": {
"locked": {
"lastModified": 1751984180,
"narHash": "sha256-LwWRsENAZJKUdD3SpLluwDmdXY9F45ZEgCb0X+xgOL0=",
"lastModified": 1753694789,
"narHash": "sha256-cKgvtz6fKuK1Xr5LQW/zOUiAC0oSQoA9nOISB0pJZqM=",
"owner": "NixOS",
"repo": "nixpkgs",
"rev": "9807714d6944a957c2e036f84b0ff8caf9930bc0",
"rev": "dc9637876d0dcc8c9e5e22986b857632effeb727",
"type": "github"
},
"original": {
@ -453,11 +433,11 @@
"systems": "systems_3"
},
"locked": {
"lastModified": 1753085278,
"narHash": "sha256-jOGYaMh4KBhzTqer3G66ki17CL7e822PExkcgWiQoWE=",
"lastModified": 1754043154,
"narHash": "sha256-Q47BVxwocPZ1GEDs6gKGH00eso74i0gTEPNuF8Kj0T8=",
"owner": "notashelf",
"repo": "nvf",
"rev": "08991be77a9f641facbddeca619388727661427d",
"rev": "69659e078b6531698255deda280c9407b34e29ea",
"type": "github"
},
"original": {
@ -485,7 +465,6 @@
"darwin": "darwin",
"home-manager": "home-manager",
"moonlight": "moonlight",
"nh": "nh",
"nix-index-database": "nix-index-database",
"nix-options-search": "nix-options-search",
"nixpkgs": "nixpkgs_2",
@ -503,11 +482,11 @@
]
},
"locked": {
"lastModified": 1752028888,
"narHash": "sha256-LRj3/PUpII6taWOrX1w/OeI6f1ncND02PP/kEHvPCqU=",
"lastModified": 1753930086,
"narHash": "sha256-Os6Ta5zamfAllmQNlvkbGZLHn06zJy3hVXRk+Dy2yMo=",
"owner": "oxalica",
"repo": "rust-overlay",
"rev": "a0f1c656e053463b47639234b151a05e4441bb19",
"rev": "17b672c10c1798696a516cb879edbc2ebd0f58a4",
"type": "github"
},
"original": {
@ -543,7 +522,7 @@
"sf-compact": {
"flake": false,
"locked": {
"narHash": "sha256-J72Lyt2wy83E46wN8w6/Rih9kilM9wEjtY6KnbF0DsA=",
"narHash": "sha256-VMCf2Mhmx/qhLRQxlTAsQWxtonS27kPW+oTYBBRWHMg=",
"type": "file",
"url": "https://devimages-cdn.apple.com/design/resources/download/SF-Compact.dmg"
},
@ -591,7 +570,7 @@
"sf-pro": {
"flake": false,
"locked": {
"narHash": "sha256-Q/pOQ4MGhW/ZtLka+UUQcwSoZFDWW34XvutxL4GvzUY=",
"narHash": "sha256-RX6X2ltVE88Hp1g9tpSywMT3UfdLpRxgw92KRpiAues=",
"type": "file",
"url": "https://devimages-cdn.apple.com/design/resources/download/SF-Pro.dmg"
},
@ -697,11 +676,11 @@
]
},
"locked": {
"lastModified": 1751688498,
"narHash": "sha256-6kYe6ozYDvsHAxV1zbSxg0oRWF4TzTfOUUJsR6MJlYY=",
"lastModified": 1753676490,
"narHash": "sha256-XeifEftxYGP/gzp6O1yO1S1W+MEx4Xvrgeu84ryRPNQ=",
"owner": "youwen5",
"repo": "zen-browser-flake",
"rev": "b5d422dc2b28eb77a21fbdf60aca9a6e63d5a1ab",
"rev": "77024f4557204bb4d526893d42db2e6f50727fab",
"type": "github"
},
"original": {
@ -717,11 +696,11 @@
"nixpkgs": "nixpkgs_3"
},
"locked": {
"lastModified": 1752063248,
"narHash": "sha256-albe9Q066T4IesTRfaNpEcNQ09ABwU6esFUDyfb472U=",
"lastModified": 1753963984,
"narHash": "sha256-JPiCLZHuNk11XYYCqoLoKYIgdUu2WpNccTzl4ljycTQ=",
"owner": "mitchellh",
"repo": "zig-overlay",
"rev": "6f9a3c160daca2a701a638a7ea7b0e675c1a1848",
"rev": "45772b76cdb103bd300abac4a85a34518dee65a0",
"type": "github"
},
"original": {

View file

@ -28,8 +28,6 @@
url = "github:youwen5/zen-browser-flake";
inputs.nixpkgs.follows = "nixpkgs";
};
nh.url = "github:viperML/nh";
nh.inputs.nixpkgs.follows = "nixpkgs";
nix-options-search.url = "github:madsbv/nix-options-search";
@ -49,8 +47,6 @@
overlays = [
inputs.zig.overlays.default
inputs.rust-overlay.overlays.default
inputs.nh.overlays.default
inputs.moonlight.overlays.default
# https://github.com/LnL7/nix-darwin/issues/1041
(_: prev: {

View file

@ -23,82 +23,85 @@ in
description = "set the ghostty shader, relative to 'files/ghostty'";
};
};
config.programs = {
home-manager.enable = true;
nix-index.enable = true;
config = {
home.shell = {
enableShellIntegration = true;
};
programs = {
home-manager.enable = true;
nix-index.enable = true;
direnv = {
enableZshIntegration = true;
nix-direnv.enable = config.programs.direnv.enable;
};
direnv = {
nix-direnv.enable = config.programs.direnv.enable;
};
git = {
enable = true;
userName = lib.mkDefault user.name;
userEmail = lib.mkDefault user.email;
ignores = [
(lib.mkIf host.darwin ".DS_Store") # When using Finder
(lib.mkIf host.darwin "._*") # When using non-APFS drives
# ViM and Neovim
".*.swp"
".nvimlog"
];
};
git = {
enable = true;
userName = lib.mkDefault user.name;
userEmail = lib.mkDefault user.email;
ignores = [
(lib.mkIf host.darwin ".DS_Store") # When using Finder
(lib.mkIf host.darwin "._*") # When using non-APFS drives
# ViM and Neovim
".*.swp"
".nvimlog"
];
};
atuin = {
enableBashIntegration = true;
enableFishIntegration = true;
daemon.enable = cfg.atuin.enable;
};
bat = {
extraPackages = with pkgs.bat-extras; [
batdiff
batman
batgrep
batwatch
batpipe
prettybat
];
};
hyfetch = {
settings = {
backend = "fastfetch";
preset = user.sexuality;
mode = "rgb";
light_dark = "dark";
lightness = {
};
color_align = {
mode = "horizontal";
atuin = {
daemon.enable = cfg.atuin.enable;
};
bat = {
extraPackages = with pkgs.bat-extras; [
batdiff
batman
batgrep
batwatch
batpipe
prettybat
];
};
hyfetch = {
settings = {
backend = "fastfetch";
preset = user.sexuality;
mode = "rgb";
light_dark = "dark";
lightness = {
};
color_align = {
mode = "horizontal";
};
};
};
};
fastfetch.enable = cfg.hyfetch.enable;
fastfetch.enable = cfg.hyfetch.enable;
fish = {
plugins = [
{
name = "tide";
inherit (pkgs.fishPlugins.tide) src;
fish = {
plugins = [
{
name = "tide";
inherit (pkgs.fishPlugins.tide) src;
}
{
name = "!!";
inherit (pkgs.fishPlugins.bang-bang) src;
}
];
shellAliases = {
}
{
name = "!!";
inherit (pkgs.fishPlugins.bang-bang) src;
}
];
shellAliases =
{ }
// lib.optionalAttrs (!host.darwin) {
reboot-windows = "sudo efibootmgr --bootnext 0000; sudo reboot -h now";
};
shellInit = ''
batman --export-env | source
test -r '/Users/${user.username}/.opam/opam-init/init.fish' && source '/Users/${user.username}/.opam/opam-init/init.fish' > /dev/null 2> /dev/null; or true
'';
};
shellInit = ''
batman --export-env | source
test -r '/Users/${user.username}/.opam/opam-init/init.fish' && source '/Users/${user.username}/.opam/opam-init/init.fish' > /dev/null 2> /dev/null; or true
'';
};
ghostty.settings.custom-shader = lib.mkIf (
cfg.ghostty.shader != null
) "${../../files/ghostty}/${cfg.ghostty.shader}";
ghostty.settings.custom-shader = lib.mkIf (
cfg.ghostty.shader != null
) "${../../files/ghostty}/${cfg.ghostty.shader}";
};
};
}

View file

@ -69,6 +69,7 @@
signatureHelp = null;
toggleFormatOnSave = null;
};
servers.nixd.init_options.autoArchive = true;
};
treesitter = {
enable = true;

View file

@ -63,7 +63,7 @@
nss
openssl
pango
# pipewire
pipewire
stdenv.cc.cc
systemd
vulkan-loader
@ -82,5 +82,13 @@
xorg.libxkbfile
xorg.libxshmfence
zlib
libxslt
# Stolen from https://github.com/Mic92/dotfiles/blob/57cf7fdf8705a5362fc19114b8395cdbf7668e94/nixos/modules/nix-ld.nix#L6-L58
flite
gtk2
gtk2-x11
libsecret
xorg.libXinerama
];
}

View file

@ -16,6 +16,36 @@ _: {
};
};
};
autocomplete.blink-cmp = {
enable = true;
mappings = {
close = null;
complete = null;
confirm = null;
next = null;
previous = null;
scrollDocsDown = null;
scrollDocsUp = null;
};
setupOpts = {
keymap = {
preset = "super-tab";
};
completion = {
ghost_text.enabled = false;
list.selection.preselect = true;
trigger = {
show_in_snippet = true;
};
accept.auto_brackets.enabled = true;
};
signature = {
enabled = true;
};
};
};
keymaps =
let
mkKeymap = mode: key: action: desc: {

View file

@ -12,6 +12,7 @@
direnv.enable = true;
fish.enable = true;
man.generateCaches = false;
lsd.enable = true;
# sort-lines:end
};

View file

@ -28,6 +28,7 @@
fi
'';
};
programs.fish.enable = true;
# Use homebrew to install casks
homebrew = {

View file

@ -26,7 +26,6 @@ with pkgs;
qemu
podman
docker
devenv
#productivity
glance
@ -59,10 +58,7 @@ with pkgs;
imagemagick
#chatting apps
discord
# (discord.override {
# withMoonlight = true;
# })
(discord.override { withMoonlight = true; })
vesktop
#media
@ -90,9 +86,8 @@ with pkgs;
#programming languages
deno
ruby
nodePackages.npm
# nodePackages.npm
go
coq
elan
#browsers

View file

@ -1,16 +0,0 @@
{ pkgs, ... }:
{
vim = {
# extraPackages = with pkgs; [
# coq_8_20
# coqPackages_8_20.stdlib
# ];
extraPlugins.Coqtail = {
# enabled = true;
package = pkgs.vimPlugins.Coqtail;
# lazy = true;
# ft = "coq";
};
};
}

View file

@ -5,7 +5,6 @@
./languages.nix
./latex.nix
./lean.nix
./coq.nix
./visuals.nix
./mini.nix
];

View file

@ -9,54 +9,23 @@
vim = {
extraPackages = with pkgs; [
python312Packages.pylatexenc
nixd
];
lsp = {
servers = {
nil = {
settings.nil.nix.flake = {
autoArchive = true;
autoEvalInputs = true;
};
};
nixd = {
settings.nixd = {
nixpkgs.expr = ''import "${flake.inputs.nixpkgs}" { }'';
options =
{
home-manager = {
expr = ''(let pkgs = import "${flake.inputs.nixpkgs}" { }; lib = import "${flake.inputs.home-manager}/modules/lib/stdlib-extended.nix" pkgs.lib; in (lib.evalModules { modules = (import "${flake.inputs.home-manager}/modules/modules.nix") { inherit lib pkgs;check = false;}; })).options'';
# (builtins.getFlake "${flakePath}").${darwin}Configurations.${hostname}.options.home-manager.users.type.getSubOptions [ ]'';
};
}
// pkgs.lib.optionalAttrs host.darwin {
nix-darwin = {
expr = ''(let pkgs = import "${flake.inputs.nixpkgs}" { }; in (pkgs.lib.evalModules { modules = (import "${flake.inputs.darwin}/modules/module-list.nix"); check = false;})).options'';
# (builtins.getFlake "${flakePath}").darwinConfigurations.${hostname}.options'';
};
}
// pkgs.lib.optionalAttrs host.linux {
nixos = {
expr = ''(let pkgs = import "${flake.inputs.nixpkgs}" { }; in (pkgs.lib.evalModules { modules = (import "${flake.inputs.nixpkgs}/nixos/modules/module-list.nix"); check = false;})).options'';
# (builtins.getFlake "${flakePath}").nixosConfigurations.${hostname}.options'';
};
};
};
};
};
};
languages = {
python.format.type = "ruff";
python = {
format.type = "ruff";
};
markdown = {
enable = true;
extensions.render-markdown-nvim = {
enable = true;
};
};
nix.format.enable = true;
nix = {
lsp.servers = [
"nil"
"nixd"
];
};
};
formatter.conform-nvim = {