1
0
Fork 0
mirror of https://github.com/davatorium/rofi.git synced 2024-11-18 13:54:36 -05:00
rofi/script/get_git_rev.sh
a1346054 362e3cd6ff
Use command -v instead of which (#1704)
`command -v` is the standardized version of `which`
2022-09-19 17:06:14 +02:00

24 lines
624 B
Bash
Executable file

#!/usr/bin/env bash
DIR=$1
FILE=$2
GIT=$(command -v git)
SED=$(command -v 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')"
echo -n "${REV} (${BRTG})" >> "${FILE}.tmp"
echo "\"" >> "${FILE}.tmp"
else
echo "#undef GIT_VERSION" > "${FILE}.tmp"
fi
if [ ! -f "${FILE}" ] || ! diff "${FILE}.tmp" "${FILE}" >/dev/null
then
mv "${FILE}.tmp" "${FILE}"
else
rm "${FILE}.tmp"
fi