1. #!/bin/bash 
  2. # rfe.sh: 修改文件扩展名。 
  3. # 
  4. #用法：   rfe old_extension new_externsion 
  5. # 
  6. # 
  7. # 示例： 
  8. # 将指定目录中所有的*.gif文件都重名为*.jpg， 
  9. #用法 ：  rfe gif jpg 
  10.  
  11. E_BADARGS=65 
  12.  
  13. case $# in 
  14.    0|1) 
  15.       echo "Usage: `basename $0` old_file_suffix new_file_suffix" 
  16.       exit $E_BADARGS # 如果只有0个或1个参数的话，那么就退出 
  17.       ;; 
  18. esac 
  19.  
  20. for filename in *.$1 
  21. # 以第一个参数为扩展名的全部文件的列表 
  22. do 
  23.    mv $filename ${filename%$1}$2 
  24.    # 把筛选出来的文件的扩展名去掉，因为筛选出来的文件的扩展名都是第一个参数 
  25.    # 然后把第二个参数作为扩展名，附加到这些文件的后边 
  26. done 
  27.  
  28. exit 0