Benennt eine Datei auf dem Server um. Sie kann auch in einen anderen Ordner verschoben werden.
Parameter:
- alter Ordnername: (optional) Verzeichnis (ausgehend vom aktuellen Verzeichnis), in dem die umzubenennende Datei liegt. Falls nichts angegeben wird, wird das aktuelle Verzeichnis als Ordnername gewählt.
- Alter Dateiname: Name der Datei, die umbenannt werden soll.
- neuer Ordnername: (optional) Falls die Datei in einen anderen Ordner verschoben werden soll, so wird hier der neue Ordnername angegeben (ausgehend vom aktuellen Verzeichnis). Dieses Verzeichnis muss bereits existieren.
- Neuer Dateiname: Neuer Name der Datei.