Dateinamen ändern?

[hummelmann]

Hi!

Hab folgendes Problem:
Ich habe eine Datei und möchte mithilfe eines Scripts ihren Namen ändern.
Wie kann ich das machen?

Danke im Vorraus

[goth]

Hallo Bielefelder ... allein aufgrund meiner marginalen Englischkenntnisse würde ich auf ein rename tippen ... ausreichende Dateiberechtigungen voraus gesetzt!

[Innuendo]

http://www.php.net/manual/de/function.rename.php

Schon mal was vom Handbuch gehört? Oder die Suche hier benutzt?

[hummelmann]

hmm, ich weiß: rtfm...
hatte allerdings nix gefunden.

trotzdem danke!