rofi: update settings for home-manager 22.05
Alan Pearce alan@alanpearce.eu
Sat, 18 Jun 2022 03:44:18 +0200
1 files changed, 9 insertions(+), 12 deletions(-)
jump to
M user/settings/rofi.nix → user/settings/rofi.nix
@@ -22,17 +22,14 @@ ]; programs.rofi = { enable = true; theme = "Arc"; - extraConfig = '' - rofi.matching: glob - rofi.separator-style: none - - rofi.modi: drun,run - - rofi.line-padding: 2 - - rofi.display-run: cmd - rofi.display-drun: run - rofi.display-window: win - ''; + extraConfig = { + matching = "glob"; + separator-style = "none"; + modi = "drun,run"; + line-padding = "2"; + display-run = "cmd"; + display-drun = "run"; + display-window = "win"; + }; }; }