nixpkgs/pkgs/applications/misc/rofi/config.patch

55 lines
1.5 KiB
Diff
Raw Normal View History

2018-03-11 18:24:08 +01:00
diff --git a/script/rofi-theme-selector b/script/rofi-theme-selector
2018-03-11 19:21:29 +01:00
index 0646e4bc..f827dbfe 100755
2018-03-11 18:24:08 +01:00
--- a/script/rofi-theme-selector
+++ b/script/rofi-theme-selector
2018-03-11 19:21:29 +01:00
@@ -42,34 +42,7 @@ function find_themes()
DIRS=${XDG_DATA_DIRS}
OLDIFS=${IFS}
IFS=:
- if [ -z "${XDG_DATA_DIRS}" ]
- then
- echo "XDG_DATA_DIRS needs to be set for this script to function correctly."
- echo -n "Using dirs from \$PATH: "
- DIRS=
- # Iterate over items in $PATH
- for p in ${PATH}; do
- # Remove trailing / if exists.
- x=${p%/}
- # remove both /bin and /sbin and /games from end
- x=${x%/bin}
- x=${x%/sbin}
- x=${x%/games}
- # Add /share
- x=${x}/share
- # Check if entry exists Prepend : so :${x}: matches nicely
- case ":${DIRS}" in
- *$x:*);;
- *) DIRS+="$x:";;
- esac
- done
- # Remove trailing :
- DIRS=${DIRS%:}
- echo "${DIRS}"
- fi
- # Add user dir.
- DIRS+=":${HOME}/.local/share/"
- DIRS+=":${HOME}/.config/"
+ DIRS+=":%ROFIOUT%/"
for p in ${DIRS}; do
p=${p%/}
TD=${p}/rofi/themes
@@ -164,7 +137,12 @@ Current theme: <b>${CUR}</b>"""
2018-03-11 18:24:08 +01:00
###
function set_theme()
{
- CDIR="${HOME}/.config/rofi/"
+ if [ -d "${XDG_CONFIG_HOME}" ]; then
+ CDIR="${XDG_CONFIG_HOME}/rofi/"
+ else
+ CDIR="${HOME}/.config/rofi/"
+ fi
+
if [ ! -d "${CDIR}" ]
then
mkdir -p ${CDIR}