Better rofi

This commit is contained in:
Filippo Berto 2022-11-13 18:14:12 +01:00
parent eba6ccf7e0
commit 9f1c7b60e7
Signed by: bertof
GPG key ID: 9DBF7E6A1D2CE9ED
6 changed files with 17 additions and 15 deletions

View file

@ -1,11 +1,21 @@
{ pkgs, ... }: {
home.packages = with pkgs.unstable; [
rofimoji
rofi-bluetooth
rofi-power-menu
rofi-vpn
];
programs.rofi = {
enable = true;
location = "center";
font = "${pkgs.rice.font.monospace.name} ${
toString pkgs.rice.font.monospace.size
}";
extraConfig = { modi = "drun,run,ssh,window"; };
font = "${pkgs.rice.font.monospace.name} ${toString pkgs.rice.font.monospace.size}";
package = pkgs.unstable.rofi;
plugins = with pkgs.unstable;[
rofi-calc
];
extraConfig = { modi = "drun,run,ssh,window,calc"; };
terminal = "kitty";
theme = "onedark";
};