확장자 바꾸기, Bash에서 확장자 일괄 변환하기, 파일명 확장자 분리하기

html 파일을 txt로 바꾼다면

for filename in *.html
do
 mv "$filename" "${filename%.html}.txt"
done

${filename%.*} 이렇게 하면 파일명 나오고

${filename##*.} 이렇게 하면 확장자가 나온다.

filename=$(basename "$fullpath_filename")
name="${filename%.*}"
ext="${filename##*.}"