1
0
Fork 0
mirror of https://github.com/nix-community/home-manager.git synced 2025-11-08 19:46:05 +01:00

rofi: modes option (#6115)

Adds `programs.rofi.modes` option.
For the tiny convenience of supporting the custom mode syntax.
This commit is contained in:
Shahar "Dawn" Or 2025-05-08 20:16:34 +07:00 committed by GitHub
parent 2ede089d11
commit cea975d46d
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
4 changed files with 39 additions and 3 deletions

View file

@ -1,5 +1,6 @@
configuration {
location: 0;
modes: [ ];
xoffset: 0;
yoffset: 0;
}

View file

@ -4,7 +4,7 @@ font: "Droid Sans Mono 14";
kb-primary-paste: "Control+V,Shift+Insert";
kb-secondary-paste: "Control+v,Insert";
location: 0;
modi: "drun,emoji,ssh";
modes: [ "drun","emoji","ssh","foo:bar" ];
terminal: "/some/path";
xoffset: 0;
yoffset: 0;

View file

@ -9,8 +9,16 @@
border = "border";
separator = "separator";
};
modes = [
"drun"
"emoji"
"ssh"
{
name = "foo";
path = "bar";
}
];
extraConfig = {
modi = "drun,emoji,ssh";
kb-primary-paste = "Control+V,Shift+Insert";
kb-secondary-paste = "Control+v,Insert";
};