Compare commits
No commits in common. "91d825d8ccad270a34b7f80dc556139dcbe19419" and "96065924c7503b146984ed099b6356c2ca26c96a" have entirely different histories.
91d825d8cc
...
96065924c7
|
@ -10,13 +10,9 @@
|
||||||
nix.registry = {
|
nix.registry = {
|
||||||
templates = {
|
templates = {
|
||||||
from = { type = "indirect"; id = "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.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; } ];
|
nix.nixPath = [ { nixpkgs = pkgs.path; } ];
|
||||||
|
|
||||||
|
|
|
@ -170,7 +170,6 @@ face global Information rgb:44ccee+b
|
||||||
|
|
||||||
face global MatchingChar ,rgb:665c54+bF
|
face global MatchingChar ,rgb:665c54+bF
|
||||||
|
|
||||||
|
|
||||||
## Filetype formatting
|
## Filetype formatting
|
||||||
|
|
||||||
hook global BufSetOption filetype=rust %{
|
hook global BufSetOption filetype=rust %{
|
||||||
|
|
|
@ -32,10 +32,7 @@ in rec {
|
||||||
rink numbat
|
rink numbat
|
||||||
ghc
|
ghc
|
||||||
( python310.withPackages (ps: with ps; [
|
( python310.withPackages (ps: with ps; [
|
||||||
numpy matplotlib sympy scipy pandas
|
ipython numpy matplotlib sympy scipy pwntools z3 tqdm pwntools mypy (pylsp-mypy.overrideAttrs (old: { doCheck = false; }))
|
||||||
pwntools z3 tqdm
|
|
||||||
pyusb usbtmc
|
|
||||||
ipython mypy (pylsp-mypy.overrideAttrs (old: { doCheck = false; }))
|
|
||||||
]))
|
]))
|
||||||
( agda.withPackages (ps: with ps; [ standard-library cubical ]) )
|
( agda.withPackages (ps: with ps; [ standard-library cubical ]) )
|
||||||
typst
|
typst
|
||||||
|
|
|
@ -14,13 +14,9 @@
|
||||||
nix.registry = {
|
nix.registry = {
|
||||||
templates = {
|
templates = {
|
||||||
from = { type = "indirect"; id = "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.flake = nixpkgs-flake;
|
||||||
nixpkgs-unstable = {
|
|
||||||
from = { type = "indirect"; id = "nixpkgs"; };
|
|
||||||
to = "github:nixos/nixpkgs/nixos-unstable";
|
|
||||||
};
|
|
||||||
};
|
};
|
||||||
nix.nixPath = [ "nixpkgs=${pkgs.path}" ];
|
nix.nixPath = [ "nixpkgs=${pkgs.path}" ];
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue
Block a user