#TIL #bash 확장자 일괄 변경

$ for file in *.jpeg; do mv "$file" "$(basename "$file" .jpeg).jpg"; done

*.jpeg 파일 이름 확장(expansion)은 패턴에 일치하는 파일 이름 리스트로 대체된다. basename 프로그램으로 .jpeg 확장자를 제거한다. 거기에 .jpg 확장자를 붙여서 mv 프로그램 호출.

참고 - How do I rename the extension for a batch of files? - stackoverflow.com