文章详情

  • 游戏榜单
  • 软件榜单
关闭导航
热搜榜
热门下载
热门标签
php爱好者> php文档>change JPG to jpg shell script

change JPG to jpg shell script

时间:2011-04-25  来源:北域悲风

for filename in * do   if [ -f "$filename" ] && [[ $filename =~ (.+)\.JPG ]]   then     echo "mv $filename ${BASH_REMATCH[1]}.jpg"      mv $filename ${BASH_REMATCH[1]}.jpg   fi done;
相关阅读 更多 +
排行榜 更多 +
辰域智控app

辰域智控app

系统工具 下载
网医联盟app

网医联盟app

运动健身 下载
汇丰汇选App

汇丰汇选App

金融理财 下载