diff --git a/script/get_git_rev.sh b/script/get_git_rev.sh index 1b6ac077..61813b1c 100755 --- a/script/get_git_rev.sh +++ b/script/get_git_rev.sh @@ -3,12 +3,13 @@ DIR=$1 FILE=$2 GIT=$(which git) +SED=$(which sed) if [ -d "${DIR}/.git/" ] && [ -n "${GIT}" ] then echo -n "#define GIT_VERSION \"" > "${FILE}.tmp" - BRTG="$(${GIT} describe --tags --always --all | sed -e 's:heads/::')" - REV="$(${GIT} describe --tags --always --dirty| sed -e 's:-g\([a-f0-9]\{7\}\):-git-\1:g')" + BRTG="$(${GIT} describe --tags --always --all | ${SED} -e 's:heads/::')" + REV="$(${GIT} describe --tags --always --dirty| ${SED} -e 's:-g\([a-f0-9]\{7\}\):-git-\1:g')" echo -n "${REV} (${BRTG})" >> "${FILE}.tmp" echo "\"" >> "${FILE}.tmp" else diff --git a/script/rofi-theme-selector b/script/rofi-theme-selector index a7431fb9..e0cb8581 100755 --- a/script/rofi-theme-selector +++ b/script/rofi-theme-selector @@ -103,7 +103,7 @@ create_config_copy() { ${ROFI} -dump-config > "${TMP_CONFIG_FILE}" # remove theme entry. - sed -i 's/^\s*theme:\s\+".*"\s*;//g' "${TMP_CONFIG_FILE}" + ${SED} -i 's/^\s*theme:\s\+".*"\s*;//g' "${TMP_CONFIG_FILE}" } ###