move sax2 into seperate file
This commit is contained in:
parent
10130114cd
commit
17212228f8
|
@ -1,19 +1,7 @@
|
|||
{ pkgs, cornelis, cornelis-vim, agda, ... }:
|
||||
let username = "rachel";
|
||||
homeDir = "/home/${username}";
|
||||
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"
|
||||
'';
|
||||
};
|
||||
SAX2 = import ../shared/sax2.nix { inherit pkgs; };
|
||||
hpkgs = pkgs.haskellPackages;
|
||||
hls_wrapper = pkgs.writeScript "hls" ''
|
||||
export PATH="${hpkgs.haskell-language-server}/bin:$PATH"
|
||||
|
|
14
shared/sax2.nix
Normal file
14
shared/sax2.nix
Normal file
|
@ -0,0 +1,14 @@
|
|||
{ 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"
|
||||
'';
|
||||
}
|
Loading…
Reference in New Issue
Block a user