파일 확장자명 변경 관련

자유 게시판
1

이 질문이 이곳에 적당한지 모르지만 완전 초보라서 한번 올려봅니다.

예을 들어 *.gif 파일 확장자명을 jpg로 바꾸려고 하는 shell programing을 하는데 결과가 영~~~

!\bin\bash
for file in *.gif
do
mv $file $file.jpg
done

이렇게 했는데
결과가 1.gif.jpg 라고 나오네요. 원래 파일은 1.gif임

혹시 잘못된 곳을 알려 주실 수 있나요.

2

for file in *.gif
do mv $file echo $file | sed 's/\(.*\.\)gif/\1jpg/'
done

이러면 안될려나요…음…헤깔리네

3

$ rename "s/.gif$/.jpg/" *.gif

샘플로 만들어져있네요…

$ man rename
$ vi -R /etc/alternatives/rename

4

[quote="lkd":1rx32lfd]
for file in *.gif
do
mv $file $file.jpg
done
[/quote:1rx32lfd]

아래와 같이 고쳐치면 확장자를 쉽게 핸들링 할수 있습니다…

[code:1rx32lfd]
for file in *.gif
do
mv $file ${file%.gif}.jpg
done
[/code:1rx32lfd]

5

역시 많은 조언으로 쉽게 해결할 수 있었습니다. Thank you!