Как удалить часть имени файла и добавить расширение программно?

Question

У меня есть сотни файлов в одной папке с таким именем:

index.html?tab=This is - the file name

Я хотел бы удалить "index.html? Tab =" part и добавить расширение ".txt" для всех файлов. Как я могу сделать это с помощью инструментов командной строки Unix (я использую MacOSX 10.6.2)?

Answer 1

В баш,

for i in index.html\?tab\=*; do mv "$i" "${i:15}.txt"; done

Answer 2

for file in index.html\?*
do
   mv "$file" "${file#*=}".txt
done