Skip to content

Instantly share code, notes, and snippets.

@0oneo
Created May 25, 2014 07:59
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save 0oneo/91dedaf3b30e4640e70c to your computer and use it in GitHub Desktop.
Save 0oneo/91dedaf3b30e4640e70c to your computer and use it in GitHub Desktop.
change file name extension in batch
#!/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