Re: rename filenames

[Wouter Verhelst <w@uter.be>]

On 25-03-13 16:42, Frans van Berckel wrote:
> Wouter,
> 
>> Wouter Verhelst schreef op 2013-03-25 15:26:
> 
>>> #!/bin/bash
>>> while [ ! -z "$1" ]
>>> do
>>>   NAME="$1"
>>>   shift
>>>   BASE="${NAME%.*}"
>>>   EXT="${NAME#$BASE}"
>>>   BASE="$(echo "$BASE" | sed -e 's/ *$//')"
>>>   mv "$NAME" "${BASE}.${EXT}"
>>> done
> 
> Je script samen met onderstaande werkt. Maar ik krijg alleen wel twee
> punten bij de extensie?
> 
> find . -name "* .*" -exec extra-spaces.sh {} \;

Dat kan ook, maar -print0 | xargs -0 forkt minder (dus is sneller).

> Tino Rossi - Vieni Vieni .mp3 wordt nu Tino Rossi - Vieni Vieni..mp3

Oeps, mijn fout.

mv "$NAME" "${BASE}${EXT}"

zou beter moeten lukken.

-- 
Copyshops should do vouchers. So that next time some bureaucracy
requires you to mail a form in triplicate, you can mail it just once,
add a voucher, and save on postage.