更改文件扩展名（后缀）

  1 #!/bin/bash
   2 # rfe.sh: 更改文件扩展名.
   3 #
   4 #         rfe old_extension new_extension
   5 #
   6 # 例如:
   7 # T为了把当前目录下所有的*.gif文件改成*.jpg,如下执行：
   8 #          rfe gif jpg
   9
  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
  21 for filename in *.$1
  22 # 把文件名以第一个参数为后缀的文件全部列举出来
  23 do
  24   mv $filename ${filename%$1}$2
  25   #  剥去文件名中匹配第一个参数的部分,
  26   #+ 然后加上第二个参数.
  27 done
  28
  29 exit 0