use double quote for old filename

This commit is contained in:
Krishna Vedala 2020-05-29 17:47:40 -04:00
parent 493c52f19a
commit 45f5bb65d0

View File

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