Configuration for my NixOS based systems and Home Manager
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

Add codex overlay

+29 -4
+1 -1
default-home.nix
··· 121 121 unstable.gh 122 122 unstable.kraft 123 123 inputs.claude-code.packages.${system}.claude-code 124 - codex 124 + unstable.codex 125 125 unstable.opencode 126 126 127 127 # Python dev tools
+3 -3
flake.lock
··· 611 611 }, 612 612 "nixpkgs_2": { 613 613 "locked": { 614 - "lastModified": 1777077449, 615 - "narHash": "sha256-AIiMJiqvGrN4HyLEbKAoCSRRYn0rnlW5VbKNIMIYqm4=", 614 + "lastModified": 1777428379, 615 + "narHash": "sha256-ypxFOeDz+CqADEQNL72haqGjvZQdBR5Vc7pyx2JDttI=", 616 616 "owner": "nixos", 617 617 "repo": "nixpkgs", 618 - "rev": "a4bf06618f0b5ee50f14ed8f0da77d34ecc19160", 618 + "rev": "755f5aa91337890c432639c60b6064bb7fe67769", 619 619 "type": "github" 620 620 }, 621 621 "original": {
+3
flake.nix
··· 82 82 overlays = overlays ++ [ 83 83 # Use the neovim overlay for all hosts 84 84 (import ./overlays/neovim.nix) 85 + (import ./overlays/codex.nix) 85 86 ]; 86 87 config.allowUnfree = true; 87 88 }; ··· 212 213 config.allowUnfree = true; 213 214 overlays = [ 214 215 (import ./overlays/neovim.nix) 216 + (import ./overlays/codex.nix) 215 217 ]; 216 218 }; 217 219 }; ··· 228 230 config.allowUnfree = true; 229 231 overlays = [ 230 232 (import ./overlays/neovim.nix) 233 + (import ./overlays/codex.nix) 231 234 ]; 232 235 }; 233 236 in
+22
overlays/codex.nix
··· 1 + final: prev: { 2 + codex = 3 + if prev.stdenv.hostPlatform.isDarwin then 4 + prev.codex 5 + else 6 + prev.codex.overrideAttrs ( 7 + finalAttrs: _prevAttrs: { 8 + version = "0.128.0"; 9 + src = prev.fetchFromGitHub { 10 + owner = "openai"; 11 + repo = "codex"; 12 + tag = "rust-v${finalAttrs.version}"; 13 + hash = "sha256-v2W0eslPOPHxHX76+bnkE/f4y+MnQuopeOoAC5X16TA="; 14 + }; 15 + cargoDeps = prev.rustPlatform.fetchCargoVendor { 16 + inherit (finalAttrs) src; 17 + sourceRoot = "${finalAttrs.src.name}/codex-rs"; 18 + hash = "sha256-3NQ4UCfBpANhyoJJatd8m31cEugsd42Ye2BXuzlKC0c="; 19 + }; 20 + } 21 + ); 22 + }