2019-03-11 00:45:49 +01:00
|
|
|
{ config, lib, pkgs, ... }:
|
|
|
|
|
|
|
|
with lib;
|
|
|
|
|
|
|
|
let
|
|
|
|
cfg = config.programs.alacritty;
|
2020-11-30 03:54:55 +01:00
|
|
|
yamlFormat = pkgs.formats.yaml { };
|
2020-02-02 00:39:17 +01:00
|
|
|
in {
|
2019-03-11 00:45:49 +01:00
|
|
|
options = {
|
|
|
|
programs.alacritty = {
|
|
|
|
enable = mkEnableOption "Alacritty";
|
|
|
|
|
2020-07-03 19:09:35 +02:00
|
|
|
package = mkOption {
|
|
|
|
type = types.package;
|
|
|
|
default = pkgs.alacritty;
|
2021-10-09 11:14:08 +02:00
|
|
|
defaultText = literalExpression "pkgs.alacritty";
|
2020-07-03 19:09:35 +02:00
|
|
|
description = "The Alacritty package to install.";
|
|
|
|
};
|
|
|
|
|
2019-03-11 00:45:49 +01:00
|
|
|
settings = mkOption {
|
2020-11-30 03:54:55 +01:00
|
|
|
type = yamlFormat.type;
|
2020-02-02 00:39:17 +01:00
|
|
|
default = { };
|
2021-10-09 11:14:08 +02:00
|
|
|
example = literalExpression ''
|
2019-03-11 00:45:49 +01:00
|
|
|
{
|
|
|
|
window.dimensions = {
|
|
|
|
lines = 3;
|
|
|
|
columns = 200;
|
|
|
|
};
|
|
|
|
key_bindings = [
|
|
|
|
{
|
|
|
|
key = "K";
|
|
|
|
mods = "Control";
|
|
|
|
chars = "\\x0c";
|
|
|
|
}
|
|
|
|
];
|
|
|
|
}
|
|
|
|
'';
|
|
|
|
description = ''
|
|
|
|
Configuration written to
|
|
|
|
<filename>~/.config/alacritty/alacritty.yml</filename>. See
|
|
|
|
<link xlink:href="https://github.com/jwilm/alacritty/blob/master/alacritty.yml"/>
|
|
|
|
for the default configuration.
|
|
|
|
'';
|
|
|
|
};
|
|
|
|
};
|
|
|
|
};
|
|
|
|
|
2019-05-13 04:08:23 +02:00
|
|
|
config = mkMerge [
|
|
|
|
(mkIf cfg.enable {
|
2020-07-03 19:09:35 +02:00
|
|
|
home.packages = [ cfg.package ];
|
2019-03-11 00:45:49 +01:00
|
|
|
|
2020-02-02 00:39:17 +01:00
|
|
|
xdg.configFile."alacritty/alacritty.yml" = mkIf (cfg.settings != { }) {
|
2020-11-30 03:54:55 +01:00
|
|
|
# TODO: Replace by the generate function but need to figure out how to
|
|
|
|
# handle the escaping first.
|
|
|
|
#
|
|
|
|
# source = yamlFormat.generate "alacritty.yml" cfg.settings;
|
|
|
|
|
2020-02-02 00:39:17 +01:00
|
|
|
text =
|
|
|
|
replaceStrings [ "\\\\" ] [ "\\" ] (builtins.toJSON cfg.settings);
|
2019-05-13 04:08:23 +02:00
|
|
|
};
|
|
|
|
})
|
|
|
|
];
|
2019-03-11 00:45:49 +01:00
|
|
|
}
|