chvp/phd-thesis
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Make sure title page uses UGent Panno

Browse source
This commit is contained in:
Charlotte Van Petegem 2024-01-16 19:11:09 +01:00
parent af9dab9e40
commit 37475b58ee
No known key found for this signature in database
GPG key ID: 019E764B7184435A
6 changed files with 33 additions and 36 deletions
Download patch file Download diff file Expand all files Collapse all files

14
flake.nix
View file

@ -5,7 +5,10 @@
nixpkgs.url = "github:nixos/nixpkgs/nixos-unstable";
devshell = {
url = "github:numtide/devshell";
inputs.nixpkgs.follows = "nixpkgs";
inputs = {
nixpkgs.follows = "nixpkgs";
flake-utils.follows = "flake-utils";
};
};
emacs-overlay = {
url = "github:nix-community/emacs-overlay";
@ -26,7 +29,8 @@
};
full-texlive = pkgs.texlive.combine { inherit (pkgs.texlive) scheme-full; inherit ugent2016; };
build-diffed = pkgs.writeShellScriptBin "build-diffed" ''
PATH=$PATH:${pkgs.python3.withPackages (ps: [ ps.pygments ]).bin}
export OSFONTDIR=./fonts/
PATH=$PATH:${pkgs.python3.withPackages (ps: [ ps.pygments ])}/bin
set -E
atexit() {
git worktree remove -f .sent
@ -107,6 +111,12 @@
pkgs.nixpkgs-fmt
(pkgs.python3.withPackages (ps: [ ps.pygments ]))
];
env = [
{
name = "OSFONTDIR";
value = "./fonts";
}
];
commands = [
{
name = "clean";