linux - 我如何重命名具有不同扩展名的文件夹中的前 5 个文件，同时保持旧文件相同？

Question

我在一个文件夹中有大约 20 个文件。我想将前 5 个的扩展名从 .txt 重命名为 .html。不过，我想保留前 5 个扩展名为 .txt 的文件。这是我到目前为止所拥有的。这是一个 bash 脚本

cp 'ls | head -5 "files would go here I think"

Answer 1

files=(*.txt)
for ((i=0; i<5; i++)); do
    cp -v "${files[i]}" "${files[i]%.txt}.html"
done