rachel/nixos-config
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Compare commits

base: rachel:93d8144c50b916ba707d29c8ff96d7327caf760e
Branches Tags
rachel:master
rachel:berry
..
compare: rachel:10130114cd881e4bafbf7b6f447ee346b16e7334
Branches Tags
rachel:master
rachel:berry

No commits in common. "93d8144c50b916ba707d29c8ff96d7327caf760e" and "10130114cd881e4bafbf7b6f447ee346b16e7334" have entirely different histories.
93d8144c50 ... 10130114cd

2 changed files with 14 additions and 17 deletions
Show Stats Expand all files Collapse all files

17
home/rachel.nix
View File

@ -1,7 +1,19 @@
{ pkgs, cornelis, cornelis-vim, agda, ... }:
let username = "rachel";
homeDir = "/home/${username}";
SAX2 = import ../shared/sax2.nix { inherit pkgs; };
SAX2 = pkgs.fetchurl {
name = "SAX2";
url = "https://abrudz.github.io/SAX2/SAX2.ttf";
sha256 = "sha256-DgvDWXO2fnKZNu9EvQOq8GNMTU3PUdp85+/0ZHdRXZc=";
recursiveHash = true;
downloadToTemp = true;
postFetch = ''
mkdir -p "$out/share/fonts/truetype"
mv "$downloadedFile" "$out/share/fonts/truetype/SAX2.ttf"
'';
};
hpkgs = pkgs.haskellPackages;
hls_wrapper = pkgs.writeScript "hls" ''
export PATH="${hpkgs.haskell-language-server}/bin:$PATH"
@ -78,7 +90,6 @@ in
sage
typst
ttyper
idris2
];
stateVersion = "23.05";
};
@ -233,7 +244,7 @@ in
tmux-nvim
cornelis-vim
nvim-lspconfig
idris2-vim
magma-nvim-goose
];
};

14
shared/sax2.nix
View File

@ -1,14 +0,0 @@
{ pkgs, ... }:
pkgs.fetchurl {
name = "SAX2";
url = "https://abrudz.github.io/SAX2/SAX2.ttf";
sha256 = "sha256-DgvDWXO2fnKZNu9EvQOq8GNMTU3PUdp85+/0ZHdRXZc=";
recursiveHash = true;
downloadToTemp = true;
postFetch = ''
mkdir -p "$out/share/fonts/truetype"
mv "$downloadedFile" "$out/share/fonts/truetype/SAX2.ttf"
'';
}