Изменить расширение файла, но сохранить оригинальный файл

Question

У меня есть набор .txt файлов, для которых я хочу изменить расширение, но сохраняю оригинал.

Я пытаюсь преобразовать каждый файл в "temp", а затем в mv, что "temp"в новый файл с новым расширением.

for file in $@; do
cp ${file} temp; mv temp ${file}.fas
done

Я не могу понять, почему это не работает, но ничего не происходит. Я новичок в bash, поэтому любая помощь приветствуется.

Answer 1

Читать о замене подстрок в переменных bash .

При этом будут скопированы все файлы, например foo.txt в foo.fas:

for file in *.txt; do
    cp "$file" "${file/%.txt/.fas}"
done