diff options
| author | 2023-01-18 13:37:20 +0100 | |
|---|---|---|
| committer | 2023-01-18 13:37:20 +0100 | |
| commit | f94cb5c2ded5dfa41fb881205a81600bfb2e1427 (patch) | |
| tree | f3ece555561a9ee65ef5142d2c7e3bfade11314c /dot_config/rofi | |
| parent | remove old stuff (diff) | |
remove a bunch more no longer used stuff
Diffstat (limited to 'dot_config/rofi')
| -rw-r--r-- | dot_config/rofi/config | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/dot_config/rofi/config b/dot_config/rofi/config deleted file mode 100644 index b495912..0000000 --- a/dot_config/rofi/config +++ /dev/null @@ -1,9 +0,0 @@ -rofi.combi-modi: ssh,drun -rofi.font: Hack 15 -rofi.matching: fuzzy -rofi.modi: combi,run -rofi.parse-known-hosts: true -rofi.sort: true -rofi.sorting-method: fzf -rofi.terminal: alacritty -rofi.theme: /usr/share/rofi/themes/Pop-Dark.rasi |
