2023-10-18 12:18:17 -04:00
|
|
|
# Home-manager module
|
|
|
|
|
2023-10-20 11:22:20 -04:00
|
|
|
{ ... }: {
|
2023-10-18 12:18:17 -04:00
|
|
|
programs = {
|
|
|
|
wofi = {
|
|
|
|
enable = true;
|
|
|
|
settings = {
|
|
|
|
prompt = "";
|
|
|
|
allow_images = true;
|
|
|
|
normal_window = true;
|
|
|
|
image_size = "48";
|
|
|
|
matching = "fuzzy";
|
|
|
|
insensitive = true;
|
|
|
|
no_actions = true;
|
|
|
|
};
|
|
|
|
style = builtins.readFile ./style.css;
|
|
|
|
};
|
|
|
|
};
|
|
|
|
}
|