2023-03-25 22:10:09 +05:30
|
|
|
{pkgs, ...}: {
|
2023-03-22 23:27:24 +05:30
|
|
|
xdg.desktopEntries."rofi".name = "Rofi";
|
|
|
|
xdg.desktopEntries."rofi".exec = "rofi -show";
|
|
|
|
xdg.desktopEntries."rofi".noDisplay = true;
|
|
|
|
|
|
|
|
xdg.desktopEntries."rofi-theme-selector".name = "Rofi Theme Selector";
|
|
|
|
xdg.desktopEntries."rofi-theme-selector".exec = "rofi-theme-selector";
|
|
|
|
xdg.desktopEntries."rofi-theme-selector".noDisplay = true;
|
|
|
|
|
2023-03-15 22:11:59 +05:30
|
|
|
programs.rofi = {
|
|
|
|
enable = true;
|
|
|
|
cycle = false;
|
|
|
|
package = pkgs.rofi-wayland;
|
|
|
|
font = "FiraCode Nerd Font 16";
|
|
|
|
extraConfig = {
|
|
|
|
show-icons = true;
|
|
|
|
};
|
|
|
|
theme = ./theme.rasi;
|
|
|
|
};
|
|
|
|
}
|