wget을 사용하여 다운로드 한 파일의 이름을 바꿉니다.

Question

wget을 사용하여 파일 목록을 나열하고 싶습니다. 목록에 비교적 다른 URL이 있습니다.

동일한 파일 이름이 두 번 다운로드되었지만 다른 도메인에서 다운로드 된 경우 파일의 이름이 바뀌고 숫자가 파일 확장명으로 추가됩니다.

나는 파일 이름이 카운트 업되고 파일 확장자가 아닌 것을 원합니다. wget을 사용하여 스키마를 조정하여 파일 이름을 카운트하거나 나중에 수정하는 추가 스크립트를 작성해야합니까? 도와 주시겠습니까?

시작 wget을 : files.txt의

wget -nv -i "files.txt" --directory-prefix=files; 

내용 :

http://example.com/apple.jpg 
http://example.org/apple.jpg 
http://example.net/apple.jpg 

다운로드 한 파일 :

apple.jpg 
apple.jpg.1 
apple.jpg.2 

원하는 파일 이름 : (예)

apple.jpg 
apple-1.jpg 
apple-2.jpg 

Answer 1

나는 또한 두려워, putonspectacles. 나는이 솔루션을 순수하게 만들었습니다.

rename -v 's/\.(jpeg|jpg|png|gif)\.(\d{1,3})$/_$2\.$1/' *