Compare commits

...

3 Commits

Author SHA1 Message Date
91d825d8cc Better python packages 2024-05-17 21:23:47 +02:00
5a9f9ec190 Add nixos-unstable registry 2024-05-17 21:23:39 +02:00
87f0f07f96 Make templates point to right repo 2024-05-17 21:23:26 +02:00
4 changed files with 15 additions and 3 deletions

View File

@ -10,9 +10,13 @@
nix.registry = { nix.registry = {
templates = { templates = {
from = { type = "indirect"; id = "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.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; } ];

View File

@ -170,6 +170,7 @@ 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 %{

View File

@ -32,7 +32,10 @@ in rec {
rink numbat rink numbat
ghc ghc
( python310.withPackages (ps: with ps; [ ( 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 ]) ) ( agda.withPackages (ps: with ps; [ standard-library cubical ]) )
typst typst

View File

@ -14,9 +14,13 @@
nix.registry = { nix.registry = {
templates = { templates = {
from = { type = "indirect"; id = "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.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}" ];