feat: use rofi instead of drun

main
mandlm 2022-06-27 18:42:10 +02:00
parent a2cc8c3841
commit a6bd46ab49
Signed by: mandlm
GPG Key ID: 4AA25D647AA54CC7
3 changed files with 16 additions and 0 deletions

View File

@ -26,6 +26,8 @@
border = 0; border = 0;
}; };
menu = "${pkgs.rofi}/bin/rofi -show drun";
bars = [{ bars = [{
mode = "hide"; mode = "hide";
position = "top"; position = "top";

13
home-manager/rofi.nix Normal file
View File

@ -0,0 +1,13 @@
{ config, lib, pkgs, user, ... }:
{
programs.rofi = {
enable = true;
font = "DejaVu Sans Mono 12";
terminal = "${pkgs.kitty}/bin/kitty";
extraConfig = {
show-icons = true;
matching = "fuzzy";
};
};
}

View File

@ -42,5 +42,6 @@
home-manager/zsh.nix home-manager/zsh.nix
home-manager/starship.nix home-manager/starship.nix
home-manager/i3 home-manager/i3
./home-manager/rofi.nix
]; ];
} }