Хорошо, поэтому я как бы бросил мяч. Я пытался понять, как все работает. У меня было несколько html-файлов на моем компьютере, которые я пытался переименовать в txt-файлы. Это было строго учебное упражнение. Следуя инструкции я нашел here используя этот код:Есть ли способ отменить пакетное переименование расширений файлов?
for file in *.html
do
mv "$file" "${file%.html}.txt"
done
произвел эту ошибку:
mv: rename *.html to *.txt: No such file or directory
Короче говоря, я в конечном итоге будет изгоями и переименование файлов HTML, а также много других не html-файлы в виде txt-файлов. Так что теперь у меня есть файлы, помеченные как
- my_movie.mp4.txt
- my_song.mp3.txt
- my_file.txt.txt
Это может быть очень глупый вопрос, но .. Есть ли способ проверить, имеет ли файл два расширения, и, если да, удалить последний? Или любой другой способ отменить этот беспорядок?
EDIT
Делать это find . -name "*.*.txt" -exec echo {} \; | cat -b
кажется, чтобы сказать мне, что изменилось, и где он находится. Часть cat -b
не нужна, но мне она нравится. Это все еще не фиксирует, что я сломал.
Это может быть правильно, но у меня есть 0 опыт использования python. Если бы вы могли указать на переменные в своем ответе, это помогло бы мне лучше понять это. –
@ user556068 Я добавил вам пример, поэтому было бы просто использовать python. – KeyWeeUsr
Ух ты, конечно, сделал. Я не хочу нарушать правила, но благодарю вас за этот тщательный ответ. –