diff options
Diffstat (limited to 'modules')
| -rw-r--r-- | modules/emacs/README.org | 6 | ||||
| -rw-r--r-- | modules/gnome.nix | 1 |
2 files changed, 4 insertions, 3 deletions
diff --git a/modules/emacs/README.org b/modules/emacs/README.org index f4bd2a1..0d672c0 100644 --- a/modules/emacs/README.org +++ b/modules/emacs/README.org @@ -28,8 +28,8 @@ You can also use it as a ~nixosModule~, in order to add additional packages like ** Theme and font #+begin_src emacs-lisp :tangle yes (use-package modus-themes) -; (use-package kanagawa-theme) -(load-theme 'tsdh-light t) +;; (use-package kanagawa-theme) +(load-theme 'wombat t) (set-face-attribute 'default nil :family "Iosevka Nerd Font" @@ -258,7 +258,7 @@ Try to use the package. ** Coq #+begin_src emacs-lisp :tangle yes (use-package proof-general - :mode "\\.md\\'") + :mode "\\.v\\'") (use-package company-coq :hook (coq-mode . company-coq-mode)) #+end_src diff --git a/modules/gnome.nix b/modules/gnome.nix index f67edb9..e3f41fa 100644 --- a/modules/gnome.nix +++ b/modules/gnome.nix @@ -26,6 +26,7 @@ user-themes blur-my-shell graphite-gtk-theme + x11-gestures ]); environment.gnome.excludePackages = (with pkgs; [ |