Fix rofi config (by using home-manager)

This commit is contained in:
Username404-59 2026-06-21 23:10:26 +02:00
parent 3240615eea
commit 1bbf45fff9
Signed by: Username404-59
GPG Key ID: F3A1878B14F5F0D7

View File

@ -1,23 +1,22 @@
{ ... }:
{
home.file.".config/rofi/config.rasi".text = ''
@import "catppuccin-mocha"
@import "catppuccin-default"
programs.rofi = {
enable = true;
font = "mono 12";
location = "center";
configuration {
modes: "run,ssh,drun";
font: "mono 12";
show-icons: true;
icon-theme: "Papirus Dark";
location: 0;
yoffset: 0;
xoffset: 0;
fixed-num-lines: true;
ml-row-down: "ScrollDown";
me-select-entry: "MousePrimary";
me-accept-entry: "MouseDPrimary";
me-accept-custom: "Control+MouseDPrimary";
}
'';
extraConfig = {
modes = "run,ssh,drun";
"show-icons" = true;
"icon-theme" = "Papirus Dark";
yoffset = 0;
xoffset = 0;
"fixed-num-lines" = true;
"ml-row-down" = "ScrollDown";
"me-select-entry" = "MousePrimary";
"me-accept-entry" = "MouseDPrimary";
"me-accept-custom" = "Control+MouseDPrimary";
};
};
}