У меня есть каталог, полный файлов с именами в этом формате (с номерами в начале каждого имени файла):
102_file.txt
104_list.txt
242_another_file.txt
Я хотел бы переименовать их следующим образом (т.е. удалить цифры):
file.txt
list.txt
another_file.txt
Кто-нибудь может предложить способ сделать это (предположительно из терминала)?