manage rofi with home-manager

This commit is contained in:
Rachel Lambda Samuelsson 2023-09-01 15:21:19 +02:00
parent 5817aafd3b
commit 5065b89d40

View File

@ -42,7 +42,6 @@ in
zathura zathura
gnupg gnupg
agda agda
rofi
discord discord
dig dig
xxd xxd
@ -132,6 +131,11 @@ in
}; };
}; };
rofi = {
enable = true;
theme = "solarized";
};
emacs = { emacs = {
enable = true; enable = true;
package = pkgs.emacs-gtk; package = pkgs.emacs-gtk;