Switch back to listings for code snippets

This commit is contained in:
Charlotte Van Petegem 2023-12-08 11:31:04 +01:00
parent 50c38e2e77
commit 09030736c5
No known key found for this signature in database
GPG key ID: 019E764B7184435A
5 changed files with 38 additions and 12 deletions

View file

@ -27,9 +27,6 @@
full-texlive = pkgs.texlive.combine { inherit (pkgs.texlive) scheme-full; inherit ugent2016; };
build-diffed = pkgs.writeShellScriptBin "build-diffed" ''
set -E
export PATH=${pkgs.python311Packages.pygments}/bin:$PATH
atexit() {
git worktree remove -f .sent
rm book.tex sent.tex diff.tex -f
@ -44,8 +41,8 @@
popd
mkdir build
${full-texlive}/bin/latexdiff --math-markup=whole -t CFONT sent.tex book.tex > diff.tex
${full-texlive}/bin/latexmk -f -pdf -lualatex -shell-escape -interaction=nonstopmode -output-directory=build book.tex
${full-texlive}/bin/latexmk -f -pdf -lualatex -shell-escape -interaction=nonstopmode -output-directory=build diff.tex
${full-texlive}/bin/latexmk -f -pdf -lualatex -interaction=nonstopmode -output-directory=build book.tex
${full-texlive}/bin/latexmk -f -pdf -lualatex -interaction=nonstopmode -output-directory=build diff.tex
mv build/book.pdf build/diff.pdf .
'';
ugent2016 = pkgs.stdenvNoCC.mkDerivation (finalAttrs: {
@ -107,7 +104,6 @@
packages = [
full-texlive
pkgs.nixpkgs-fmt
pkgs.python310Packages.pygments
];
commands = [
{