Re: [Wget-dev] wget2 | Suggestion : auto-renaming of same filename compatible with windows (file.mp3.1 => file_1.mp3) ? (#387)

[Tim Rühsen]

Basically, what you request is an administrative task. A flexible solution 
involves scripting, something any a shell can do much better than wget.

E.g. without leading 0s:
```
for f in filename.mp3.*; do mv "$f" "filename_${f#filename.mp3.}.mp3"; done
```

or with leading 0s:
```
for f in filename.mp3.*; do mv "$f" "filename_"`printf %03d 
${f#filename.mp3.}".mp3"; done
```

-- 
Reply to this email directly or view it on GitLab: 
https://gitlab.com/gnuwget/wget2/issues/387#note_83185842
You're receiving this email because of your account on gitlab.com.