infra
/
localhost
1
0
Fork 0
Code Releases Activity

rofi config

master
dump_stack() 2023-02-13 09:11:44 +00:00
parent 1f5dbf0ba1
commit 6b01e9d5de
Signed by: dump_stack
GPG Key ID: BE44DA8C062D87DC
2 changed files with 14 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
etc/rofi.rasi Normal file
View File

@ -0,0 +1,12 @@
configuration {
font: "Ubuntu Mono 30";
timeout {
action: "kb-cancel";
delay: 0;
}
filebrowser {
directories-first: true;
sorting-method: "name";
}
}
@theme "android_notification"

2
home-manager.nix
View File

@ -135,6 +135,8 @@ in {
".config/user-dirs.dirs".source = ./etc/user-dirs.dir;
".config/kitty/kitty.conf".source = ./etc/kitty.conf;
".config/rofi/config.rasi".source = ./etc/rofi.rasi;
};
home.keyboard = {