Compare commits
3 Commits
96065924c7
...
91d825d8cc
Author | SHA1 | Date | |
---|---|---|---|
91d825d8cc | |||
5a9f9ec190 | |||
87f0f07f96 |
|
@ -10,9 +10,13 @@
|
|||
nix.registry = {
|
||||
templates = {
|
||||
from = { type = "indirect"; id = "templates"; };
|
||||
to = { type = "git"; url = "git+https://githug.xyz/xenchel/templates"; };
|
||||
to = { type = "git"; url = "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; } ];
|
||||
|
||||
|
|
|
@ -170,6 +170,7 @@ face global Information rgb:44ccee+b
|
|||
|
||||
face global MatchingChar ,rgb:665c54+bF
|
||||
|
||||
|
||||
## Filetype formatting
|
||||
|
||||
hook global BufSetOption filetype=rust %{
|
||||
|
|
|
@ -32,7 +32,10 @@ in rec {
|
|||
rink numbat
|
||||
ghc
|
||||
( python310.withPackages (ps: with ps; [
|
||||
ipython numpy matplotlib sympy scipy pwntools z3 tqdm pwntools mypy (pylsp-mypy.overrideAttrs (old: { doCheck = false; }))
|
||||
numpy matplotlib sympy scipy pandas
|
||||
pwntools z3 tqdm
|
||||
pyusb usbtmc
|
||||
ipython mypy (pylsp-mypy.overrideAttrs (old: { doCheck = false; }))
|
||||
]))
|
||||
( agda.withPackages (ps: with ps; [ standard-library cubical ]) )
|
||||
typst
|
||||
|
|
|
@ -14,9 +14,13 @@
|
|||
nix.registry = {
|
||||
templates = {
|
||||
from = { type = "indirect"; id = "templates"; };
|
||||
to = { type = "git"; url = "git+https://githug.xyz/xenchel/templates"; };
|
||||
to = { type = "git"; url = "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}" ];
|
||||
|
||||
|
|
Loading…
Reference in New Issue
Block a user