2019-11-11 18:41:30 +01:00
|
|
|
# Original Source:
|
2020-03-27 20:59:26 +01:00
|
|
|
# https://gitlab.com/rycee/nur-expressions/raw/master/hm-modules/emacs-init.nix (d27525db3358b9463fab1b4a7739cb77e27b768c)
|
2019-11-11 18:41:30 +01:00
|
|
|
# MIT License
|
|
|
|
# Copyright (c) 2019 Robert Helgesson
|
|
|
|
# Permission is hereby granted, free of charge, to any person obtaining a copy
|
|
|
|
# of this software and associated documentation files (the "Software"), to deal
|
|
|
|
# in the Software without restriction, including without limitation the rights
|
|
|
|
# to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
|
|
|
|
# copies of the Software, and to permit persons to whom the Software is
|
|
|
|
# furnished to do so, subject to the following conditions:
|
|
|
|
# The above copyright notice and this permission notice shall be included in all
|
|
|
|
# copies or substantial portions of the Software.
|
|
|
|
# THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
|
|
|
|
# IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
|
|
|
|
# FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
|
|
|
|
# AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
|
|
|
|
# LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
|
|
|
|
# OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
|
|
|
|
# SOFTWARE.
|
2023-09-11 20:23:04 +02:00
|
|
|
{
|
|
|
|
config,
|
|
|
|
lib,
|
|
|
|
pkgs,
|
|
|
|
...
|
|
|
|
}:
|
|
|
|
with lib; let
|
2019-11-11 18:41:30 +01:00
|
|
|
cfg = config.programs.emacs.init;
|
|
|
|
|
2020-03-27 20:59:26 +01:00
|
|
|
packageFunctionType = mkOptionType {
|
|
|
|
name = "packageFunction";
|
|
|
|
description = "function from epkgs to package";
|
|
|
|
check = isFunction;
|
|
|
|
merge = mergeOneOption;
|
|
|
|
};
|
2019-11-11 18:41:30 +01:00
|
|
|
|
2023-09-11 20:23:04 +02:00
|
|
|
usePackageType = types.submodule ({
|
|
|
|
name,
|
|
|
|
config,
|
|
|
|
...
|
|
|
|
}: {
|
2019-11-11 18:41:30 +01:00
|
|
|
options = {
|
|
|
|
enable = mkEnableOption "Emacs package ${name}";
|
|
|
|
|
|
|
|
package = mkOption {
|
2020-03-27 20:59:26 +01:00
|
|
|
type =
|
|
|
|
types.either
|
2023-09-11 20:23:04 +02:00
|
|
|
(types.str // {description = "name of package";})
|
|
|
|
packageFunctionType;
|
2019-11-11 18:41:30 +01:00
|
|
|
default = name;
|
|
|
|
description = ''
|
|
|
|
The package to use for this module. Either the package name
|
|
|
|
within the Emacs package set or a function taking the Emacs
|
|
|
|
package set and returning a package.
|
|
|
|
'';
|
|
|
|
};
|
|
|
|
|
|
|
|
defer = mkOption {
|
|
|
|
type = types.either types.bool types.ints.positive;
|
|
|
|
default = false;
|
|
|
|
description = ''
|
|
|
|
The <option>:defer</option> setting.
|
|
|
|
'';
|
|
|
|
};
|
|
|
|
|
|
|
|
demand = mkOption {
|
|
|
|
type = types.bool;
|
|
|
|
default = false;
|
|
|
|
description = ''
|
|
|
|
The <option>:demand</option> setting.
|
|
|
|
'';
|
|
|
|
};
|
|
|
|
|
|
|
|
diminish = mkOption {
|
|
|
|
type = types.listOf types.str;
|
|
|
|
default = [];
|
|
|
|
description = ''
|
|
|
|
The entries to use for <option>:diminish</option>.
|
|
|
|
'';
|
|
|
|
};
|
|
|
|
|
2020-03-27 20:59:26 +01:00
|
|
|
chords = mkOption {
|
|
|
|
type = types.attrsOf types.str;
|
|
|
|
default = {};
|
2023-09-11 20:23:04 +02:00
|
|
|
example = {
|
|
|
|
"jj" = "ace-jump-char-mode";
|
|
|
|
"jk" = "ace-jump-word-mode";
|
|
|
|
};
|
2020-03-27 20:59:26 +01:00
|
|
|
description = ''
|
|
|
|
The entries to use for <option>:chords</option>.
|
|
|
|
'';
|
|
|
|
};
|
|
|
|
|
2019-11-11 18:41:30 +01:00
|
|
|
mode = mkOption {
|
|
|
|
type = types.listOf types.str;
|
|
|
|
default = [];
|
|
|
|
description = ''
|
|
|
|
The entries to use for <option>:mode</option>.
|
|
|
|
'';
|
|
|
|
};
|
|
|
|
|
|
|
|
after = mkOption {
|
|
|
|
type = types.listOf types.str;
|
|
|
|
default = [];
|
|
|
|
description = ''
|
|
|
|
The entries to use for <option>:after</option>.
|
|
|
|
'';
|
|
|
|
};
|
|
|
|
|
|
|
|
bind = mkOption {
|
|
|
|
type = types.attrsOf types.str;
|
|
|
|
default = {};
|
2023-09-11 20:23:04 +02:00
|
|
|
example = {
|
|
|
|
"M-<up>" = "drag-stuff-up";
|
|
|
|
"M-<down>" = "drag-stuff-down";
|
|
|
|
};
|
2019-11-11 18:41:30 +01:00
|
|
|
description = ''
|
|
|
|
The entries to use for <option>:bind</option>.
|
|
|
|
'';
|
|
|
|
};
|
|
|
|
|
|
|
|
bindLocal = mkOption {
|
|
|
|
type = types.attrsOf (types.attrsOf types.str);
|
|
|
|
default = {};
|
2023-09-11 20:23:04 +02:00
|
|
|
example = {helm-command-map = {"C-c h" = "helm-execute-persistent-action";};};
|
2019-11-11 18:41:30 +01:00
|
|
|
description = ''
|
|
|
|
The entries to use for local keymaps in <option>:bind</option>.
|
|
|
|
'';
|
|
|
|
};
|
|
|
|
|
|
|
|
bindKeyMap = mkOption {
|
|
|
|
type = types.attrsOf types.str;
|
|
|
|
default = {};
|
2023-09-11 20:23:04 +02:00
|
|
|
example = {"C-c p" = "projectile-command-map";};
|
2019-11-11 18:41:30 +01:00
|
|
|
description = ''
|
|
|
|
The entries to use for <option>:bind-keymap</option>.
|
|
|
|
'';
|
|
|
|
};
|
|
|
|
|
|
|
|
command = mkOption {
|
|
|
|
type = types.listOf types.str;
|
|
|
|
default = [];
|
|
|
|
description = ''
|
|
|
|
The entries to use for <option>:commands</option>.
|
|
|
|
'';
|
|
|
|
};
|
|
|
|
|
|
|
|
config = mkOption {
|
|
|
|
type = types.lines;
|
|
|
|
default = "";
|
|
|
|
description = ''
|
|
|
|
Code to place in the <option>:config</option> section.
|
|
|
|
'';
|
|
|
|
};
|
|
|
|
|
|
|
|
extraConfig = mkOption {
|
|
|
|
type = types.lines;
|
|
|
|
default = "";
|
|
|
|
description = ''
|
|
|
|
Additional lines to place in the use-package configuration.
|
|
|
|
'';
|
|
|
|
};
|
|
|
|
|
|
|
|
hook = mkOption {
|
|
|
|
type = types.listOf types.str;
|
|
|
|
default = [];
|
|
|
|
description = ''
|
|
|
|
The entries to use for <option>:hook</option>.
|
|
|
|
'';
|
|
|
|
};
|
|
|
|
|
|
|
|
init = mkOption {
|
|
|
|
type = types.lines;
|
|
|
|
default = "";
|
|
|
|
description = ''
|
|
|
|
The entries to use for <option>:init</option>.
|
|
|
|
'';
|
|
|
|
};
|
|
|
|
|
|
|
|
assembly = mkOption {
|
|
|
|
type = types.lines;
|
|
|
|
readOnly = true;
|
|
|
|
internal = true;
|
|
|
|
description = "The final use-package code.";
|
|
|
|
};
|
|
|
|
};
|
|
|
|
|
|
|
|
config = mkIf config.enable {
|
2023-09-11 20:23:04 +02:00
|
|
|
assembly = let
|
|
|
|
quoted = v: ''"${escape ["\""] v}"'';
|
|
|
|
mkBindHelper = cmd: prefix: bs:
|
|
|
|
optionals (bs != {}) (
|
|
|
|
[":${cmd} (${prefix}"]
|
|
|
|
++ mapAttrsToList (n: v: " (${quoted n} . ${v})") bs
|
|
|
|
++ [")"]
|
2019-11-11 18:41:30 +01:00
|
|
|
);
|
|
|
|
|
2023-09-11 20:23:04 +02:00
|
|
|
mkAfter = vs: optional (vs != []) ":after (${toString vs})";
|
|
|
|
mkCommand = vs: optional (vs != []) ":commands (${toString vs})";
|
|
|
|
mkDiminish = vs: optional (vs != []) ":diminish (${toString vs})";
|
|
|
|
mkMode = map (v: ":mode ${v}");
|
|
|
|
mkBind = mkBindHelper "bind" "";
|
|
|
|
mkBindLocal = bs: let
|
2023-09-11 21:20:14 +02:00
|
|
|
mkMap = n: mkBindHelper "bind" ":map ${n}";
|
2019-11-11 18:41:30 +01:00
|
|
|
in
|
2023-09-11 20:23:04 +02:00
|
|
|
flatten (mapAttrsToList mkMap bs);
|
|
|
|
mkBindKeyMap = mkBindHelper "bind-keymap" "";
|
|
|
|
mkChords = mkBindHelper "chords" "";
|
|
|
|
mkHook = map (v: ":hook ${v}");
|
|
|
|
mkDefer = v:
|
|
|
|
if isBool v
|
|
|
|
then optional v ":defer t"
|
|
|
|
else [":defer ${toString v}"];
|
|
|
|
mkDemand = v: optional v ":demand t";
|
|
|
|
in
|
|
|
|
concatStringsSep "\n " (
|
|
|
|
["(use-package ${name}"]
|
|
|
|
++ mkAfter config.after
|
|
|
|
++ mkBind config.bind
|
|
|
|
++ mkBindKeyMap config.bindKeyMap
|
|
|
|
++ mkBindLocal config.bindLocal
|
|
|
|
++ mkChords config.chords
|
|
|
|
++ mkCommand config.command
|
|
|
|
++ mkDefer config.defer
|
|
|
|
++ mkDemand config.demand
|
|
|
|
++ mkDiminish config.diminish
|
|
|
|
++ mkHook config.hook
|
|
|
|
++ mkMode config.mode
|
|
|
|
++ optionals (config.init != "") [":init" config.init]
|
|
|
|
++ optionals (config.config != "") [":config" config.config]
|
|
|
|
++ optional (config.extraConfig != "") config.extraConfig
|
|
|
|
)
|
|
|
|
+ ")";
|
2019-11-11 18:41:30 +01:00
|
|
|
};
|
|
|
|
});
|
|
|
|
|
|
|
|
usePackageStr = name: pkgConfStr: ''
|
|
|
|
(use-package ${name}
|
|
|
|
${pkgConfStr})
|
|
|
|
'';
|
|
|
|
|
2023-09-11 20:23:04 +02:00
|
|
|
mkRecommendedOption = type: extraDescription:
|
|
|
|
mkOption {
|
|
|
|
type = types.bool;
|
|
|
|
default = false;
|
|
|
|
example = true;
|
|
|
|
description =
|
|
|
|
''
|
|
|
|
Whether to enable recommended ${type} settings.
|
|
|
|
''
|
|
|
|
+ optionalString (extraDescription != "") ''
|
|
|
|
</para><para>
|
|
|
|
${extraDescription}
|
|
|
|
'';
|
|
|
|
};
|
2019-11-11 18:41:30 +01:00
|
|
|
|
|
|
|
# Recommended GC settings.
|
|
|
|
gcSettings = ''
|
|
|
|
(defun hm/reduce-gc ()
|
|
|
|
"Reduce the frequency of garbage collection."
|
|
|
|
(setq gc-cons-threshold 402653184
|
|
|
|
gc-cons-percentage 0.6))
|
|
|
|
|
|
|
|
(defun hm/restore-gc ()
|
|
|
|
"Restore the frequency of garbage collection."
|
|
|
|
(setq gc-cons-threshold 16777216
|
|
|
|
gc-cons-percentage 0.1))
|
|
|
|
|
|
|
|
;; Make GC more rare during init and while minibuffer is active.
|
|
|
|
(eval-and-compile #'hm/reduce-gc)
|
|
|
|
(add-hook 'minibuffer-setup-hook #'hm/reduce-gc)
|
|
|
|
|
|
|
|
;; But make it more regular after startup and after closing minibuffer.
|
|
|
|
(add-hook 'emacs-startup-hook #'hm/restore-gc)
|
|
|
|
(add-hook 'minibuffer-exit-hook #'hm/restore-gc)
|
|
|
|
|
|
|
|
;; Avoid unnecessary regexp matching while loading .el files.
|
|
|
|
(defvar hm/file-name-handler-alist file-name-handler-alist)
|
|
|
|
(setq file-name-handler-alist nil)
|
|
|
|
|
|
|
|
(defun hm/restore-file-name-handler-alist ()
|
|
|
|
"Restores the file-name-handler-alist variable."
|
|
|
|
(setq file-name-handler-alist hm/file-name-handler-alist)
|
|
|
|
(makunbound 'hm/file-name-handler-alist))
|
|
|
|
|
|
|
|
(add-hook 'emacs-startup-hook #'hm/restore-file-name-handler-alist)
|
|
|
|
'';
|
|
|
|
|
|
|
|
# Whether the configuration makes use of `:diminish`.
|
|
|
|
hasDiminish = any (p: p.diminish != []) (attrValues cfg.usePackage);
|
|
|
|
|
|
|
|
# Whether the configuration makes use of `:bind`.
|
|
|
|
hasBind = any (p: p.bind != {}) (attrValues cfg.usePackage);
|
|
|
|
|
2020-03-27 20:59:26 +01:00
|
|
|
# Whether the configuration makes use of `:chords`.
|
2023-09-11 20:23:04 +02:00
|
|
|
hasChords = any (p: p.chords != {}) (attrValues cfg.usePackage);
|
2020-03-27 20:59:26 +01:00
|
|
|
|
2019-11-11 18:41:30 +01:00
|
|
|
usePackageSetup =
|
|
|
|
''
|
|
|
|
(eval-when-compile
|
|
|
|
(require 'package)
|
|
|
|
|
|
|
|
(setq package-archives nil
|
|
|
|
package-enable-at-startup nil
|
|
|
|
package--init-file-ensured t)
|
|
|
|
|
|
|
|
(require 'use-package)
|
|
|
|
|
|
|
|
;; To help fixing issues during startup.
|
|
|
|
(setq use-package-verbose ${
|
2023-09-11 20:23:04 +02:00
|
|
|
if cfg.usePackageVerbose
|
|
|
|
then "t"
|
|
|
|
else "nil"
|
|
|
|
}))
|
2019-11-11 18:41:30 +01:00
|
|
|
''
|
|
|
|
+ optionalString hasDiminish ''
|
|
|
|
;; For :diminish in (use-package).
|
|
|
|
(require 'diminish)
|
|
|
|
''
|
|
|
|
+ optionalString hasBind ''
|
|
|
|
;; For :bind in (use-package).
|
|
|
|
(require 'bind-key)
|
2020-03-27 20:59:26 +01:00
|
|
|
''
|
|
|
|
+ optionalString hasChords ''
|
|
|
|
;; For :chords in (use-package).
|
|
|
|
(use-package use-package-chords
|
|
|
|
:config (key-chord-mode 1))
|
2019-11-11 18:41:30 +01:00
|
|
|
'';
|
|
|
|
|
2023-09-11 20:23:04 +02:00
|
|
|
initFile =
|
|
|
|
''
|
|
|
|
;;; hm-init.el --- Emacs configuration à la Home Manager.
|
|
|
|
;;
|
|
|
|
;; -*- lexical-binding: t; -*-
|
|
|
|
;;
|
|
|
|
;;; Commentary:
|
|
|
|
;;
|
|
|
|
;; A configuration generated from a Nix based configuration by
|
|
|
|
;; Home Manager.
|
|
|
|
;;
|
|
|
|
;;; Code:
|
|
|
|
|
|
|
|
${optionalString cfg.startupTimer ''
|
|
|
|
;; Remember when configuration started. See bottom for rest of this.
|
|
|
|
;; Idea taken from http://writequit.org/org/settings.html.
|
|
|
|
(defconst emacs-start-time (current-time))
|
|
|
|
''}
|
|
|
|
|
|
|
|
${optionalString cfg.recommendedGcSettings gcSettings}
|
|
|
|
|
|
|
|
${cfg.prelude}
|
|
|
|
|
|
|
|
${usePackageSetup}
|
|
|
|
''
|
|
|
|
+ concatStringsSep "\n\n"
|
2019-11-11 18:41:30 +01:00
|
|
|
(map (getAttr "assembly")
|
2023-09-11 20:23:04 +02:00
|
|
|
(filter (getAttr "enable")
|
|
|
|
(attrValues cfg.usePackage)))
|
|
|
|
+ ''
|
2019-11-11 18:41:30 +01:00
|
|
|
|
2023-09-11 20:23:04 +02:00
|
|
|
${cfg.postlude}
|
2019-11-11 18:41:30 +01:00
|
|
|
|
2023-09-11 20:23:04 +02:00
|
|
|
${optionalString cfg.startupTimer ''
|
|
|
|
;; Make a note of how long the configuration part of the start took.
|
|
|
|
(let ((elapsed (float-time (time-subtract (current-time)
|
|
|
|
emacs-start-time))))
|
|
|
|
(message "Loading settings...done (%.3fs)" elapsed))
|
|
|
|
''}
|
2019-11-11 18:41:30 +01:00
|
|
|
|
2023-09-11 20:23:04 +02:00
|
|
|
(provide 'hm-init)
|
|
|
|
;; hm-init.el ends here
|
|
|
|
'';
|
|
|
|
in {
|
|
|
|
imports = [./emacs-init-defaults.nix];
|
2019-11-11 18:41:30 +01:00
|
|
|
|
|
|
|
options.programs.emacs.init = {
|
|
|
|
enable = mkEnableOption "Emacs configuration";
|
|
|
|
|
|
|
|
recommendedGcSettings = mkRecommendedOption "garbage collection" ''
|
|
|
|
This will reduce garbage collection frequency during startup and
|
|
|
|
while the minibuffer is active.
|
|
|
|
'';
|
|
|
|
|
|
|
|
startupTimer = mkEnableOption "Emacs startup duration timer";
|
|
|
|
|
|
|
|
prelude = mkOption {
|
|
|
|
type = types.lines;
|
|
|
|
default = "";
|
|
|
|
description = ''
|
|
|
|
Configuration lines to add in the beginning of
|
|
|
|
<filename>init.el</filename>.
|
|
|
|
'';
|
|
|
|
};
|
|
|
|
|
|
|
|
postlude = mkOption {
|
|
|
|
type = types.lines;
|
|
|
|
default = "";
|
|
|
|
description = ''
|
|
|
|
Configuration lines to add in the end of
|
|
|
|
<filename>init.el</filename>.
|
|
|
|
'';
|
|
|
|
};
|
|
|
|
|
|
|
|
usePackageVerbose = mkEnableOption "verbose use-package mode";
|
|
|
|
|
|
|
|
usePackage = mkOption {
|
|
|
|
type = types.attrsOf usePackageType;
|
|
|
|
default = {};
|
|
|
|
example = literalExample ''
|
|
|
|
{
|
|
|
|
dhall-mode = {
|
|
|
|
mode = [ '''"\\.dhall\\'"''' ];
|
|
|
|
};
|
|
|
|
}
|
|
|
|
'';
|
|
|
|
description = ''
|
|
|
|
Attribute set of use-package configurations.
|
|
|
|
'';
|
|
|
|
};
|
|
|
|
};
|
|
|
|
|
|
|
|
config = mkIf cfg.enable {
|
2023-09-11 20:23:04 +02:00
|
|
|
machine.pkgsets.emacs.pkgs = epkgs: let
|
|
|
|
getPkg = v:
|
|
|
|
if isFunction v
|
|
|
|
then [(v epkgs)]
|
|
|
|
else optional (isString v && hasAttr v epkgs) epkgs.${v};
|
|
|
|
in
|
|
|
|
[epkgs.use-package]
|
|
|
|
++ optional hasBind epkgs.bind-key
|
|
|
|
++ optional hasDiminish epkgs.diminish
|
|
|
|
++ optional hasChords epkgs.use-package-chords
|
|
|
|
++ (
|
2023-09-11 21:20:14 +02:00
|
|
|
concatMap (v: getPkg v.package)
|
2023-09-11 20:23:04 +02:00
|
|
|
(builtins.attrValues cfg.usePackage)
|
|
|
|
);
|
2020-01-26 17:10:31 +01:00
|
|
|
|
|
|
|
# use lucid as toolkit; emacs will otherwise crash quite frequently when run in daemon mode
|
|
|
|
# https://gitlab.gnome.org/GNOME/gtk/issues/221
|
|
|
|
machine.pkgsets.emacs.pkgwrap = let
|
2023-09-11 21:20:14 +02:00
|
|
|
inherit
|
|
|
|
((pkgs.emacsPackagesFor
|
2023-09-11 20:23:04 +02:00
|
|
|
(pkgs.emacs.override {
|
|
|
|
withGTK2 = false;
|
|
|
|
withGTK3 = false;
|
2023-09-11 21:20:14 +02:00
|
|
|
})))
|
|
|
|
emacsWithPackages
|
|
|
|
;
|
|
|
|
in
|
|
|
|
emacsWithPackages config.machine.pkgsets.emacs.pkgs;
|
2019-11-17 23:13:50 +01:00
|
|
|
|
|
|
|
environment.systemPackages = [
|
2022-03-05 21:52:47 +01:00
|
|
|
((pkgs.emacsPackagesFor config.machine.pkgsets.emacs.pkgwrap).trivialBuild {
|
2019-11-11 18:41:30 +01:00
|
|
|
pname = "hm-init";
|
|
|
|
version = "0";
|
|
|
|
src = pkgs.writeText "hm-init.el" initFile;
|
|
|
|
preferLocalBuild = true;
|
|
|
|
allowSubstitutes = false;
|
|
|
|
})
|
|
|
|
];
|
|
|
|
|
2019-11-17 23:13:50 +01:00
|
|
|
# This has no effect, will have to add a wrapper to emacs (or just copy this to ~/.emacs.d/init.el)
|
2019-11-11 18:41:30 +01:00
|
|
|
environment.etc."emacs.d/init.el".text = ''
|
|
|
|
(require 'hm-init)
|
|
|
|
(provide 'init)
|
|
|
|
'';
|
|
|
|
};
|
|
|
|
}
|