여러 파일의 확장자 이름을 변경하려면 어떻게 해야 합니까? 것이 있습니다.*.html 파일 files files files files files files files files files files files files files files files files files files 로 바꾸고 싶습니다.*.txt 내가 어떻게 그럴 수 있을까?저는 배쉬 쉘을 사용합니다.bash를 사용하는 경우 sed, basename, rename, expr 등의 외부 명령어가 필요하지 않습니다. for file in *.html do mv "$file" "${file%.html}.txt" done 보다 나은 솔루션(외부 콜이 아닌 bash 기능만 있는 경우)에 대해서는, 그 외의 몇개의 회답을 참조해 주세요. 이을 사용..