[php] Etwas OT - Umwandeln von dateiendungen

[Helmut P. Fleischhauer]

Fabian Franke wrote:
> Helmut P. Fleischhauer wrote:
> 
>>Hallo,
>>
>>versuche gerade, ein kleines shell script aus dem Gedächtnis
>>zu wühlen, das alle Dateien in einem Verzeichnis ( einige 100 )
>>vom *.php3 bzw *.inc in *.php umwandelt.


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

*******

Danke,
das war's

Helmut P. Fleischhauer