1
0
Fork 0
mirror of https://github.com/davatorium/rofi.git synced 2024-11-25 13:55:34 -05:00
rofi/script
Amith Mohanan e65b90757f
[rofi-theme-selector] prepend newline before specifying new theme (#1791)
* [rofi-theme-selector] prepend newline before specifying new theme

If the EOF is not a newline, new theme setting will fail.

* make sed substitution more readable

* simplify sed substitution
2023-01-30 11:44:28 +01:00
..
get_git_rev.sh Use command -v instead of which (#1704) 2022-09-19 17:06:14 +02:00
rofi-sensible-terminal Simple maintenance improvements (#1370) 2021-08-14 13:03:16 +02:00
rofi-theme-selector [rofi-theme-selector] prepend newline before specifying new theme (#1791) 2023-01-30 11:44:28 +01:00