2024-03-21 20:49:08 +01:00
|
|
|
{
|
|
|
|
|
config,
|
|
|
|
|
pkgs,
|
|
|
|
|
...
|
|
|
|
|
}: {
|
|
|
|
|
home.packages = with pkgs; [
|
|
|
|
|
texliveMedium
|
|
|
|
|
];
|
2024-03-22 22:02:21 +01:00
|
|
|
home.file = {
|
|
|
|
|
".latexmkrc".text = ''
|
|
|
|
|
$dvi_previewer = 'xdvi -watchfile 1.5';
|
|
|
|
|
$ps_previewer = 'zathura';
|
|
|
|
|
$pdf_previewer = 'zathura';
|
|
|
|
|
'';
|
|
|
|
|
};
|
2024-03-21 20:49:08 +01:00
|
|
|
home.shellAliases = {
|
|
|
|
|
pdfmk = "latexmk -lualatex -pvc";
|
|
|
|
|
};
|
|
|
|
|
}
|
