diff options
| -rw-r--r-- | home/config/dotfiles/spacemacs | 10 | ||||
| -rw-r--r-- | home/config/dotfiles/venv-manager.nix | 4 |
2 files changed, 10 insertions, 4 deletions
diff --git a/home/config/dotfiles/spacemacs b/home/config/dotfiles/spacemacs index dd1db18..e1c02c5 100644 --- a/home/config/dotfiles/spacemacs +++ b/home/config/dotfiles/spacemacs @@ -43,11 +43,8 @@ This function should only modify configuration layer settings." ;; eww git helm - javascript ;; lsp multiple-cursors - nixos - org ;; (shell :variables ;; shell-default-height 30 ;; shell-default-position 'bottom) @@ -61,8 +58,12 @@ This function should only modify configuration layer settings." csv emacs-lisp spacemacs-misc go + (haskell :variables haskell-enable-hindent-style "fundamental") + html javascript latex markdown + nixos + org ocaml coq php python @@ -597,6 +598,9 @@ before packages are loaded." ;; don't pop warning buffer on native comp '(native-comp-async-report-warnings-errors 'silent) + + ;; restrict which warnings are shown + '(warning-minimum-level :emergency) ) ;; auto-completion diff --git a/home/config/dotfiles/venv-manager.nix b/home/config/dotfiles/venv-manager.nix index 8104674..248cb0c 100644 --- a/home/config/dotfiles/venv-manager.nix +++ b/home/config/dotfiles/venv-manager.nix @@ -3,6 +3,8 @@ { direnv.enable = lib.mkDefault true; + haskell = { spacemacs.enable = lib.mkDefault true; }; + latex = { packages = tl: { inherit (tl) @@ -23,7 +25,7 @@ ocaml.tuareg.enable = lib.mkDefault true; coq.coq = pkgs.coq_8_15; - # pkgs.coq_8_15.override { buildIde = false; }; + # pkgs.coq_8_15.override { buildIde = false; }; why3 = { defaultEditor = "emacsclient -c"; |