manage rofi with home-manager
This commit is contained in:
parent
5817aafd3b
commit
2ea79fb220
|
@ -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;
|
||||||
|
|
Loading…
Reference in New Issue
Block a user