将源扩展名更改为目标

时间:2017-01-11 21:22:38

标签: linux bash

您好我想将我的文件夹中特定文件的扩展名从源扩展名更改为目标。 我试图使用$ {var%pattern}方法,但我无法正确使用它。

<script> 
  window.onload = function(){   
    setTimeout(function() { 
        var ad = document.querySelector("ins.adsbygoogle");
           if (ad && ad.innerHTML.replace(/s/g, "").length == 0) {
             ad.style.cssText = 'display:block !important'; 
                document.getElementById("cfmonitor").innerHTML = 'html code goes here';
      }
    }, 500);
  }; 
</script>

1 个答案:

答案 0 :(得分:2)

首先:不要解析ls。使用数组存储文件列表,比较中的表达式在语法上是不正确的。具有讽刺意味的是,使用%是正确的。

files=( "$folder"/* )
for f in "${files[@]}"; do
    if [[ $f = *.$source ]]; then
        mv "$f" "${f%.$source}.$dest"
    fi
done