b5933: Use diff in place of cat.

This commit is contained in:
Thomas Stokes
2024-03-20 10:27:32 +01:00
parent 9396b5b8be
commit cd9be0e54c
@@ -15,7 +15,7 @@ done
if [[ ! -f "${PATH_TO_STORE}/${NAME_TO_STORE_IN}.bak" && -f "${PATH_TO_STORE}/${NAME_TO_STORE_IN}" ]]; then
cp -f ${PATH_TO_STORE}/${NAME_TO_STORE_IN} ${PATH_TO_STORE}/${NAME_TO_STORE_IN}.bak
fi
if [[ "$(cat ${PATH_TO_STORE}/${NAME_TO_STORE_IN})" != "$(cat ${temp_file_path})" ]]; then
if [[ -n "$(diff ${PATH_TO_STORE}/${NAME_TO_STORE_IN} ${temp_file_path})" ]]; then
mv "$temp_file_path" ${PATH_TO_STORE}/${NAME_TO_STORE_IN}
else
rm ${temp_file_path}