comando bash per rimuovere gli zeri iniziali da tutti i nomi di file

Question

ho una directory con un gruppo di file con nomi come:

0.jpg 
0.jpg 
004729342.jpg 

Voglio rimuovere gli zeri iniziali da tutti i nomi dei file, in modo da sarei lasciato con:

1234.jpg 
1235.jpg 
4729342.jpg 

Ho provato diverse configurazioni di sed, ma non riesco a trovare la sintassi corretta. C'è un modo semplice per elencare tutti i file nella directory, collegarli tramite sed e spostarli o copiarli nel nuovo nome del file senza gli zeri iniziali?

Answer 1

for FILE in `ls`; do mv $FILE `echo $FILE | sed -e 's:^0*::'`; done 

Answer 2

Provare a utilizzare sed, ad es .:

sed -e 's:^0*::' 

ciclo completo:

for f in `ls`; do 
    mv $f $(echo $f | sed -e 's:^0*::') 
done 

Answer 3

Forse non è il più elegante ma funzionerà.

for i in 0* 
do 
mv "${i}" "`expr "${i}" : '0*\(.*\)'`" 
done 

Answer 4

Non so sed a tutti, ma è possibile ottenere un elenco utilizzando find:

find -type f -name *.jpg

così con l'altra risposta potrebbe apparire come

find . -type f -name *.jpg | sed -e 's:^0*::'

ma non so se quel comando sed regge o no.

Answer 5

sed di per sé è lo strumento sbagliato per questo: è necessario utilizzare un po 'di shell scripting pure.

Verificare la pagina Rename multiple files with Linux per alcune idee. Una delle idee suggerite è quella di utilizzare lo script perl rename:

rename 's/^0*//' *.jpg 

Answer 6

Ecco uno che non richiede sed:

for x in *.jpg ; do let num="10#${x%%.jpg}"; mv $x ${num}.jpg ; done 

Si noti che questo funziona solo quando i nomi dei file sono tutti i numeri. Si potrebbe anche rimuovere gli zeri iniziali utilizzando la shell:

for a in *.jpg ; do dest=${a/*(0)/} ; mv $a $dest ; done 

Answer 7

In Bash, che rischia di essere la vostra shell di login di default, non comandi esterni sono necessari.

shopt -s extglob 
for i in 0*[^0]; do mv "$i" "${i##*(0)}"; done 

Answer 8

In shell Bash si può fare:

shopt -s nullglob 
for file in 0*.jpg 
do 
    echo mv "$file" "${file##*0}" 
done