[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Wget-dev] wget2 | Suggestion : auto-renaming of same filename compa
From: |
Tim Rühsen |
Subject: |
Re: [Wget-dev] wget2 | Suggestion : auto-renaming of same filename compatible with windows (file.mp3.1 => file_1.mp3) ? (#387) |
Date: |
Thu, 21 Jun 2018 13:48:55 +0000 |
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.