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:
|
2020-02-01 23:39:17 +00: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 20:11:08 +00:00
|
|
|
|
2023-05-04 17:39:46 +00:00
|
|
|
mkBindingStr = k: v:
|
|
|
|
let
|
|
|
|
isKeynameNotKeyseq = k:
|
|
|
|
builtins.elem (builtins.head (lib.splitString "-" (toLower k))) [
|
|
|
|
"control"
|
|
|
|
"meta"
|
|
|
|
];
|
|
|
|
in if isKeynameNotKeyseq k then "${k}: ${v}" else ''"${k}": ${v}'';
|
2019-12-08 20:11:08 +00:00
|
|
|
|
2020-02-01 23:39:17 +00:00
|
|
|
in {
|
2019-12-01 15:21:58 +00:00
|
|
|
options.programs.readline = {
|
2023-07-01 23:45:18 +00:00
|
|
|
enable = mkEnableOption "readline";
|
2019-12-01 15:21:58 +00:00
|
|
|
|
|
|
|
bindings = mkOption {
|
2020-02-01 23:39:17 +00:00
|
|
|
default = { };
|
2019-12-01 15:21:58 +00:00
|
|
|
type = types.attrsOf types.str;
|
2021-10-09 09:14:08 +00:00
|
|
|
example = literalExpression ''
|
2020-02-01 23:58:06 +00:00
|
|
|
{ "\\C-h" = "backward-kill-word"; }
|
|
|
|
'';
|
2023-07-01 23:45:18 +00:00
|
|
|
description = "Readline bindings.";
|
2019-12-01 15:21:58 +00:00
|
|
|
};
|
|
|
|
|
2019-12-08 20:11:08 +00:00
|
|
|
variables = mkOption {
|
|
|
|
type = with types; attrsOf (either str (either int bool));
|
2020-02-01 23:39:17 +00:00
|
|
|
default = { };
|
2019-12-08 20:11:08 +00:00
|
|
|
example = { expand-tilde = true; };
|
2023-07-01 23:45:18 +00:00
|
|
|
description = ''
|
2019-12-08 20:11:08 +00:00
|
|
|
Readline customization variable assignments.
|
|
|
|
'';
|
|
|
|
};
|
|
|
|
|
2019-12-01 15:21:58 +00:00
|
|
|
includeSystemConfig = mkOption {
|
|
|
|
type = types.bool;
|
|
|
|
default = true;
|
2023-07-01 23:45:18 +00:00
|
|
|
description = "Whether to include the system-wide configuration.";
|
2019-12-01 15:21:58 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
extraConfig = mkOption {
|
|
|
|
type = types.lines;
|
|
|
|
default = "";
|
2023-07-01 23:45:18 +00:00
|
|
|
description = ''
|
2019-12-01 15:21:58 +00:00
|
|
|
Configuration lines appended unchanged to the end of the
|
2023-06-30 23:30:13 +00:00
|
|
|
{file}`~/.inputrc` file.
|
2019-12-01 15:21:58 +00:00
|
|
|
'';
|
|
|
|
};
|
|
|
|
};
|
|
|
|
|
|
|
|
config = mkIf cfg.enable {
|
2020-02-01 23:39:17 +00:00
|
|
|
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
|
2020-02-01 23:39:17 +00:00
|
|
|
++ mapAttrsToList mkBindingStr cfg.bindings);
|
|
|
|
in ''
|
|
|
|
# Generated by Home Manager.
|
2019-12-01 15:21:58 +00:00
|
|
|
|
2020-02-01 23:39:17 +00:00
|
|
|
${configStr}
|
|
|
|
${cfg.extraConfig}
|
|
|
|
'';
|
2019-12-01 15:21:58 +00:00
|
|
|
};
|
|
|
|
}
|