2019-12-01 15:21:58 +00:00
|
|
|
{ config, lib, pkgs, ... }:
|
|
|
|
|
|
|
|
with lib;
|
|
|
|
|
|
|
|
let
|
|
|
|
|
|
|
|
cfg = config.programs.readline;
|
|
|
|
|
2019-12-08 20:11:08 +00:00
|
|
|
mkSetVariableStr = n: v:
|
|
|
|
let
|
|
|
|
mkValueStr = v:
|
|
|
|
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}";
|
|
|
|
|
|
|
|
mkBindingStr = k: v: "\"${k}\": ${v}";
|
|
|
|
|
2019-12-01 15:21:58 +00:00
|
|
|
in
|
|
|
|
|
|
|
|
{
|
|
|
|
options.programs.readline = {
|
|
|
|
enable = mkEnableOption "readline";
|
|
|
|
|
|
|
|
bindings = mkOption {
|
|
|
|
default = {};
|
|
|
|
type = types.attrsOf types.str;
|
|
|
|
example = { "\C-h" = "backward-kill-word"; };
|
|
|
|
description = "Readline bindings.";
|
|
|
|
};
|
|
|
|
|
2019-12-08 20:11:08 +00:00
|
|
|
variables = mkOption {
|
|
|
|
type = with types; attrsOf (either str (either int bool));
|
|
|
|
default = {};
|
|
|
|
example = { expand-tilde = true; };
|
|
|
|
description = ''
|
|
|
|
Readline customization variable assignments.
|
|
|
|
'';
|
|
|
|
};
|
|
|
|
|
2019-12-01 15:21:58 +00: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 {
|
|
|
|
home.file.".inputrc".text =
|
|
|
|
let
|
|
|
|
configStr = concatStringsSep "\n" (
|
|
|
|
optional cfg.includeSystemConfig "$include /etc/inputrc"
|
2019-12-08 20:11:08 +00:00
|
|
|
++ mapAttrsToList mkSetVariableStr cfg.variables
|
|
|
|
++ mapAttrsToList mkBindingStr cfg.bindings
|
2019-12-01 15:21:58 +00:00
|
|
|
);
|
|
|
|
in
|
|
|
|
''
|
|
|
|
# Generated by Home Manager.
|
|
|
|
|
|
|
|
${configStr}
|
|
|
|
${cfg.extraConfig}
|
|
|
|
'';
|
|
|
|
};
|
|
|
|
}
|