Created
May 25, 2014 07:59
-
-
Save 0oneo/91dedaf3b30e4640e70c to your computer and use it in GitHub Desktop.
change file name extension in batch
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/bin/bash | |
directoryName="$1" | |
extension="$2" | |
regex='.+' | |
if ! [[ $extension =~ $regex ]]; then | |
echo "Usage: changeExtension directory newExtension"; | |
exit 1; | |
fi | |
if [[ -d $directoryName ]]; then | |
FILES=$directoryName/* | |
for file in $FILES | |
do | |
if [[ -d $file ]] ; then | |
continue | |
fi | |
filename=$(basename "$file") | |
oriExtentsion="${filename##*.}" | |
filename="${filename%.*}" | |
newFileName=$directoryName/$filename.$extension | |
mv $file $newFileName | |
done | |
elif [[ -f $directoryName ]]; then | |
echo "if file" | |
filename=$(basename "$directoryName") | |
oriExtentsion="${filename##*.}" | |
filename="${filename%.*}" | |
newFileName=$filename.$extension | |
mv $directoryName $newFileName | |
fi |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment