2018-02-14 20:34:50 +00:00
|
|
|
{ config, lib, pkgs, ... }:
|
|
|
|
|
|
|
|
let
|
|
|
|
cfg = config.programs.plotinus;
|
|
|
|
in
|
|
|
|
{
|
|
|
|
meta = {
|
|
|
|
maintainers = pkgs.plotinus.meta.maintainers;
|
2023-01-24 23:33:40 +00:00
|
|
|
doc = ./plotinus.md;
|
2018-02-14 20:34:50 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
###### interface
|
|
|
|
|
|
|
|
options = {
|
|
|
|
programs.plotinus = {
|
2024-04-17 11:37:58 +00:00
|
|
|
enable = lib.mkOption {
|
2018-02-14 20:34:50 +00:00
|
|
|
default = false;
|
|
|
|
description = ''
|
2019-09-03 22:49:40 +00:00
|
|
|
Whether to enable the Plotinus GTK 3 plugin. Plotinus provides a
|
2018-02-14 20:34:50 +00:00
|
|
|
popup (triggered by Ctrl-Shift-P) to search the menus of a
|
|
|
|
compatible application.
|
|
|
|
'';
|
2024-04-17 11:37:58 +00:00
|
|
|
type = lib.types.bool;
|
2018-02-14 20:34:50 +00:00
|
|
|
};
|
|
|
|
};
|
|
|
|
};
|
|
|
|
|
|
|
|
###### implementation
|
|
|
|
|
2024-04-17 11:37:58 +00:00
|
|
|
config = lib.mkIf cfg.enable {
|
2021-09-22 13:53:29 +00:00
|
|
|
environment.sessionVariables.XDG_DATA_DIRS = [ "${pkgs.plotinus}/share/gsettings-schemas/${pkgs.plotinus.name}" ];
|
2018-02-14 20:34:50 +00:00
|
|
|
environment.variables.GTK3_MODULES = [ "${pkgs.plotinus}/lib/libplotinus.so" ];
|
|
|
|
};
|
|
|
|
}
|