diff options
Diffstat (limited to 'home')
| -rw-r--r-- | home/config/dotfiles/spacemacs | 2 | ||||
| -rw-r--r-- | home/config/environment.nix | 11 |
2 files changed, 5 insertions, 8 deletions
diff --git a/home/config/dotfiles/spacemacs b/home/config/dotfiles/spacemacs index 794de94..8393fa9 100644 --- a/home/config/dotfiles/spacemacs +++ b/home/config/dotfiles/spacemacs @@ -58,10 +58,10 @@ This function should only modify configuration layer settings." ;; ---------------------------------------------------------------- ;; Programming (and markup) languages ;; ---------------------------------------------------------------- - ;; latex csv emacs-lisp spacemacs-misc go + latex markdown ocaml coq python 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; } |