文章详情

  • 游戏榜单
  • 软件榜单
关闭导航
热搜榜
热门下载
热门标签
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;
相关阅读 更多 +
排行榜 更多 +
找茬脑洞的世界安卓版

找茬脑洞的世界安卓版

休闲益智 下载
滑板英雄跑酷2手游

滑板英雄跑酷2手游

休闲益智 下载
披萨对对看下载

披萨对对看下载

休闲益智 下载