본문 바로가기

Linux

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

html 파일을 txt로 바꾼다면


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



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

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

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