move files only if there is a change in filename

This commit is contained in:
Krishna Vedala 2020-05-29 17:43:28 -04:00
parent 1d11ab4284
commit 93b9bc1147

View File

@ -29,8 +29,11 @@ jobs:
old_fname="$(echo -e ${fname})" old_fname="$(echo -e ${fname})"
new_fname="$(echo -e "${fname}" | tr ' ' '_')" new_fname="$(echo -e "${fname}" | tr ' ' '_')"
new_fname="$(echo -e "${new_fname}" | tr 'A-Z' 'a-z')" new_fname="$(echo -e "${new_fname}" | tr 'A-Z' 'a-z')"
echo "${old_fname} --> ${new_fname}" if [$old_fname != $new_fname]
git mv ${old_fname} ${new_fname} then
echo "${old_fname} --> ${new_fname}"
git mv ${old_fname} ${new_fname}
fi
done done
git commit -am "formatting filenames $GITHUB_SHA" || true git commit -am "formatting filenames $GITHUB_SHA" || true
- name: Clang Formatter - name: Clang Formatter