diff options
| author | Dave Davenport <qball@gmpclient.org> | 2020-06-17 13:53:18 +0200 |
|---|---|---|
| committer | Dave Davenport <qball@gmpclient.org> | 2020-06-17 13:53:18 +0200 |
| commit | 6bf823267e52d96b9f8fe6e152d55e9bd715a629 (patch) | |
| tree | 61414f547e3cb623656ca9a847039a317bb95e1b | |
| parent | 8c51b9ec3e87293b6d444d461c207778549bb1ae (diff) | |
[ThemeSelector] Use rasi config file format, not xresources.
| -rwxr-xr-x | script/rofi-theme-selector | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/script/rofi-theme-selector b/script/rofi-theme-selector index 3f380992..8dba9530 100755 --- a/script/rofi-theme-selector +++ b/script/rofi-theme-selector @@ -24,7 +24,7 @@ then exit 1 fi -TMP_CONFIG_FILE=$(${MKTEMP}) +TMP_CONFIG_FILE=$(${MKTEMP}).rasi ## # Array with parts to the found themes. @@ -103,7 +103,9 @@ function find_themes() ## function create_config_copy() { - ${ROFI} -dump-xresources > ${TMP_CONFIG_FILE} + ${ROFI} -dump-config > ${TMP_CONFIG_FILE} + # remove theme entry. + sed -i 's/^\s*theme:\s\+".*"\s*;//g' ${TMP_CONFIG_FILE} } ### |