Dateiendungen Umbenennen

Aus php bar

Dieses kleinen Script hilft einem (unter Linux), viele Dateiendungen von .php3 nach .php umzubenennen:

for i in *.php3;
do mv "$i" "${i%%.php3}.php";
done