home/config/emacs.nix


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

{ pkgs, ... }:

{
  programs.emacs = {
    enable = true;
    package = pkgs.emacs.overrideAttrs (oldAttrs: rec { nativeComp = true; });
  };
  services.emacs = {
    enable = true;
    client.enable = true;
  };

  home.file.".spacemacs.d/init.el".source = ./dotfiles/spacemacs;
  home.file.".emacs.d/private/layers/why3/local/why3.backup".source =
    "${pkgs.why3}/share/emacs/site-lisp";
}