xenia/home
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Compare commits

base: xenia:91d825d8ccad270a34b7f80dc556139dcbe19419
Branches Tags
xenia:main
..
compare: xenia:96065924c7503b146984ed099b6356c2ca26c96a
Branches Tags
xenia:main

No commits in common. "91d825d8ccad270a34b7f80dc556139dcbe19419" and "96065924c7503b146984ed099b6356c2ca26c96a" have entirely different histories.
91d825d8cc ... 96065924c7

4 changed files with 3 additions and 15 deletions
Show Stats Expand all files Collapse all files

6
darwin.nix
View File

@ -10,13 +10,9 @@
nix.registry = {
templates = {
from = { type = "indirect"; id = "templates"; };
to = { type = "git"; url = "https://githug.xyz/xenchel/templates"; };
to = { type = "git"; url = "git+https://githug.xyz/xenchel/templates"; };
};
nixpkgs.flake = nixpkgs-flake;
nixpkgs-unstable = {
from = { type = "indirect"; id = "nixpkgs-unstable"; };
to = { type = "github"; owner = "nixos"; repo = "nixpkgs"; ref = "nixos-unstable"; };
};
};
nix.nixPath = [ { nixpkgs = pkgs.path; } ];

1
dotfiles/kakrc
View File

@ -170,7 +170,6 @@ face global Information rgb:44ccee+b
face global MatchingChar ,rgb:665c54+bF
## Filetype formatting
hook global BufSetOption filetype=rust %{

5
home/common.nix
View File

@ -32,10 +32,7 @@ in rec {
rink numbat
ghc
( python310.withPackages (ps: with ps; [
numpy matplotlib sympy scipy pandas
pwntools z3 tqdm
pyusb usbtmc
ipython mypy (pylsp-mypy.overrideAttrs (old: { doCheck = false; }))
ipython numpy matplotlib sympy scipy pwntools z3 tqdm pwntools mypy (pylsp-mypy.overrideAttrs (old: { doCheck = false; }))
]))
( agda.withPackages (ps: with ps; [ standard-library cubical ]) )
typst

6
nixos/base.nix
View File

@ -14,13 +14,9 @@
nix.registry = {
templates = {
from = { type = "indirect"; id = "templates"; };
to = { type = "git"; url = "https://githug.xyz/xenchel/templates"; };
to = { type = "git"; url = "git+https://githug.xyz/xenchel/templates"; };
};
nixpkgs.flake = nixpkgs-flake;
nixpkgs-unstable = {
from = { type = "indirect"; id = "nixpkgs"; };
to = "github:nixos/nixpkgs/nixos-unstable";
};
};
nix.nixPath = [ "nixpkgs=${pkgs.path}" ];