diff options
Diffstat (limited to 'home/config/environment.nix')
| -rw-r--r-- | home/config/environment.nix | 11 |
1 files changed, 4 insertions, 7 deletions
diff --git a/home/config/environment.nix b/home/config/environment.nix index 01883ac..6b3b7e0 100644 --- a/home/config/environment.nix +++ b/home/config/environment.nix @@ -24,13 +24,8 @@ source-code-pro ] ++ [ # Programming languages - python3Minimal - ] ++ (with texlive; - [ - # Tex - # Uncomment when full disk available - # combined.scheme-full - ]); + python3Full + ]; home.wallpaper = ./dotfiles/background-image; @@ -64,4 +59,6 @@ }; services.gpg-agent.enable = true; + + home.file.".config/latexmkrc".source = ./dotfiles/latexmkrc; } |