Мне нужно сделать строку sed (также использующую каналы в Linux), чтобы изменить расширение файла, чтобы я мог сделать что-то вродеmv *.1stextension *.2ndextension любитьmv *.txt *.c, Дело в том, что я не могу использовать batch или цикл for, поэтому я должен делать все это с помощью pipe и команды sed.