2024-11-26 13:00:00 +00:00
|
|
|
{
|
|
|
|
config,
|
|
|
|
lib,
|
|
|
|
pkgs,
|
|
|
|
username,
|
|
|
|
...
|
|
|
|
}:
|
|
|
|
|
2024-12-10 21:40:33 +00:00
|
|
|
with lib;
|
|
|
|
|
2024-11-26 13:00:00 +00:00
|
|
|
{
|
2024-12-10 21:40:33 +00:00
|
|
|
options.features.desktop.screenkey.enable = mkEnableOption "Enable screenkey";
|
2024-11-26 13:00:00 +00:00
|
|
|
|
2024-12-10 21:40:33 +00:00
|
|
|
config = mkIf config.features.desktop.screenkey.enable {
|
2024-11-26 13:00:00 +00:00
|
|
|
environment.systemPackages = with pkgs; [ screenkey ];
|
|
|
|
|
|
|
|
home-manager.users.${username}.xdg.configFile."screenkey.json".text = builtins.toJSON {
|
|
|
|
key_mode = "composed";
|
|
|
|
mods_mode = "emacs";
|
|
|
|
persist = true;
|
|
|
|
size = "small";
|
|
|
|
timeout = 0.25;
|
|
|
|
};
|
|
|
|
};
|
|
|
|
}
|