2019-12-01 16:21:58 +01:00
|
|
|
{ config, lib, pkgs, ... }:
|
|
|
|
|
|
|
|
with lib;
|
|
|
|
|
|
|
|
let
|
|
|
|
|
|
|
|
cfg = config.programs.readline;
|
|
|
|
|
2019-12-08 21:11:08 +01:00
|
|
|
mkSetVariableStr = n: v:
|
|
|
|
let
|
|
|
|
mkValueStr = v:
|
2020-02-02 00:39:17 +01:00
|
|
|
if v == true then
|
|
|
|
"on"
|
|
|
|
else if v == false then
|
|
|
|
"off"
|
|
|
|
else if isInt v then
|
|
|
|
toString v
|
|
|
|
else if isString v then
|
|
|
|
v
|
|
|
|
else
|
|
|
|
abort ("values ${toPretty v} is of unsupported type");
|
|
|
|
in "set ${n} ${mkValueStr v}";
|
2019-12-08 21:11:08 +01:00
|
|
|
|
2020-02-02 00:39:17 +01:00
|
|
|
mkBindingStr = k: v: ''"${k}": ${v}'';
|
2019-12-08 21:11:08 +01:00
|
|
|
|
2020-02-02 00:39:17 +01:00
|
|
|
in {
|
2019-12-01 16:21:58 +01:00
|
|
|
options.programs.readline = {
|
|
|
|
enable = mkEnableOption "readline";
|
|
|
|
|
|
|
|
bindings = mkOption {
|
2020-02-02 00:39:17 +01:00
|
|
|
default = { };
|
2019-12-01 16:21:58 +01:00
|
|
|
type = types.attrsOf types.str;
|
2020-02-02 00:58:06 +01:00
|
|
|
example = literalExample ''
|
|
|
|
{ "\\C-h" = "backward-kill-word"; }
|
|
|
|
'';
|
2019-12-01 16:21:58 +01:00
|
|
|
description = "Readline bindings.";
|
|
|
|
};
|
|
|
|
|
2019-12-08 21:11:08 +01:00
|
|
|
variables = mkOption {
|
|
|
|
type = with types; attrsOf (either str (either int bool));
|
2020-02-02 00:39:17 +01:00
|
|
|
default = { };
|
2019-12-08 21:11:08 +01:00
|
|
|
example = { expand-tilde = true; };
|
|
|
|
description = ''
|
|
|
|
Readline customization variable assignments.
|
|
|
|
'';
|
|
|
|
};
|
|
|
|
|
2019-12-01 16:21:58 +01:00
|
|
|
includeSystemConfig = mkOption {
|
|
|
|
type = types.bool;
|
|
|
|
default = true;
|
|
|
|
description = "Whether to include the system-wide configuration.";
|
|
|
|
};
|
|
|
|
|
|
|
|
extraConfig = mkOption {
|
|
|
|
type = types.lines;
|
|
|
|
default = "";
|
|
|
|
description = ''
|
|
|
|
Configuration lines appended unchanged to the end of the
|
|
|
|
<filename>~/.inputrc</filename> file.
|
|
|
|
'';
|
|
|
|
};
|
|
|
|
};
|
|
|
|
|
|
|
|
config = mkIf cfg.enable {
|
2020-02-02 00:39:17 +01:00
|
|
|
home.file.".inputrc".text = let
|
|
|
|
configStr = concatStringsSep "\n"
|
|
|
|
(optional cfg.includeSystemConfig "$include /etc/inputrc"
|
2019-12-08 21:11:08 +01:00
|
|
|
++ mapAttrsToList mkSetVariableStr cfg.variables
|
2020-02-02 00:39:17 +01:00
|
|
|
++ mapAttrsToList mkBindingStr cfg.bindings);
|
|
|
|
in ''
|
|
|
|
# Generated by Home Manager.
|
2019-12-01 16:21:58 +01:00
|
|
|
|
2020-02-02 00:39:17 +01:00
|
|
|
${configStr}
|
|
|
|
${cfg.extraConfig}
|
|
|
|
'';
|
2019-12-01 16:21:58 +01:00
|
|
|
};
|
|
|
|
}
|