Ciao a tutti...ho l'esigenza di rinominare in serie un gruppo di file in una cartella. Vorrei sapere se è possibile farlo.
I file di partenza sono di tipo fabio001, fabio002, ..., fabio023, e così via.
Avrei bisogno di avere qualcosa che lo possa modificare in fabio1, fabio2,.., fabio23, etc.
Anche da linea di comando. Va bene tutto.
Τί ουν ποιήσε ϕιλοσοϕίας πέρι; πή τρέψή άγνοουμένων τούτων;
man rename
codice:$ mkdir fabio0{0,1}{1,2,3,4,5,6} $ ls fabio001/ fabio003/ fabio005/ fabio011/ fabio013/ fabio015/ fabio002/ fabio004/ fabio006/ fabio012/ fabio014/ fabio016/ $ rename fabio0 fabio fabio0?? $ ls fabio01/ fabio03/ fabio05/ fabio11/ fabio13/ fabio15/ fabio02/ fabio04/ fabio06/ fabio12/ fabio14/ fabio16/ $
GreyFox (Linux registered user #435102)
greyfox.imente.org - GreyFox's shots (photo gallery)
$ cd /pub
$ more beer
$ rename -n 's/\d{5}(\d{3})\.JPG$/foto_$1\.jpg/' *.JPG
00000123.JPG renamed as foto_123.jpg
00000124.JPG renamed as foto_124.jpg
00000125.JPG renamed as foto_125.jpg
There are two kinds of researchers:
those that have implemented something and those that have not.
The latter will tell you that there are 142 ways of doing things
and that there isn't consensus on which is best.
The former will simply tell you that 141 of them don't work.
Permessi di invio
Rispondi quotando