您好我想将我的文件夹中特定文件的扩展名从源扩展名更改为目标。 我试图使用$ {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>
答案 0 :(得分:2)
首先:不要解析ls
。使用数组存储文件列表,比较中的表达式在语法上是不正确的。具有讽刺意味的是,使用%
是正确的。
files=( "$folder"/* )
for f in "${files[@]}"; do
if [[ $f = *.$source ]]; then
mv "$f" "${f%.$source}.$dest"
fi
done