This script is used for changing file names in batches! #!/bin/bash #rename file extesions # # rfe.sh old_extensions new_extension # #example: #to rename al *.gif file in working directory to *.jpg # rfe.sh gif jpg ARGS=2 E_BADARGS=65 if [ $# -ne "$ARGS" ] then echo "Usage:`basename $0` old_file_suffix new_file_suffix" echo -e "suffix don’t oninclude …
-
Pages
-
Tags
-
Recent Posts
-
Recent Comments