diff --git a/script/get_git_rev.sh b/script/get_git_rev.sh index 61813b1c..04725651 100755 --- a/script/get_git_rev.sh +++ b/script/get_git_rev.sh @@ -2,8 +2,8 @@ DIR=$1 FILE=$2 -GIT=$(which git) -SED=$(which sed) +GIT=$(command -v git) +SED=$(command -v sed) if [ -d "${DIR}/.git/" ] && [ -n "${GIT}" ] then diff --git a/script/rofi-theme-selector b/script/rofi-theme-selector index e0cb8581..1dab0686 100755 --- a/script/rofi-theme-selector +++ b/script/rofi-theme-selector @@ -3,9 +3,9 @@ # This code is released in public domain by Dave Davenport # -ROFI=$(which rofi) -SED=$(which sed) -MKTEMP=$(which mktemp) +ROFI=$(command -v rofi) +SED=$(command -v sed) +MKTEMP=$(command -v mktemp) if [ -z "${SED}" ] then