[MrBrechreiz]

Hallo,

gibts eine Möglichkeit alle .gif Dateien in einem Rutsch zu .png Dateien umzubenennen ?

Danit meine ich alle Buttons in einem Beitrag (Finden, WWW, Spam, Bewerten etc.).

Danke für eure Hilfe.

[Jockl]

Direkt auf dem Server (via Konsole)?

[hajo59]

Ich benutze unter Windoof den Flexible Renamer. Der kann unter anderem Dateien und Ordner als Stapelverarbeitung in einem Rutsch umbenennen. Die Software muss nicht installiert werden.
Hier der Link -->> http://flexible-renamer.de.joosoft.com/flexible-renamer

Gruß

Hajo

[MrBrechreiz]

Das ist eigl egal, hauptsache ich muss nicht alle per hand umändern. Bei mehr als einem Design ist das bissl mühselig.

Danke noch für Deine Antwort.


Nachtrag:

Wärend ich schrieb, hat sich noch wer dazu geäussert (hajo59). Nein ich will sie nicht auf dem PC umwandeln, sondern im vorhandenem Design aud den Webspace.

[Falkenauge Mihawk]

Der Dateityp soll sich ändern oder einfach die Endung? Für beides kann man sich ein PHP-Script schreiben.

[MrBrechreiz]

Hallo,

es sollen sich alle
"closed.gif ; newreply.gif ; newthread.gif ; pm_delete.gif usw."

in
"closed.png ; newreply.png ; newthread.png ; pm_delete.png usw."

in einem Rutsch, wenn überhaut möglich, umwandeln.

Nun sollte es aber für jeden verständlich sein.

[Falkenauge Mihawk]

Ich weiss immernoch nicht, ob du jetzt einfach nur die Endung ändern willst, oder gerade der Bildtyp von GIF auf PNG. Und übrigens, wenn du die Endung .png hast, musst du alle Templates etc. ändern. Den überall wird die Endung .gif benutzt.

[MrBrechreiz]

Und übrigens, wenn du die Endung .png hast, musst du alle Templates etc. ändern. Den überall wird die Endung .gif benutzt.

Davon Rede / Schreibe ich die ganze Zeit ^^.

Natürlich weis ich das sie als gif vorhanden sind, möchte sie ABER in png.
Da ich an einem kleinem Projekt mitwirke und da bereits 5 Designs vorhanden sind, wollte ich dies nicht bei allen mit der Hand nachbearbeiten, sondern wenn möglich in einem Durchgang abändern.

Nun verstanden ?

Danke

[Falkenauge Mihawk]

PHP-Code:

<?php
$files = @scandir("images");
unset($files[0]);
unset($files[1]);
foreach($files as $pic) {
     $name = explode('.', $pic);
     if(@getimagesize("/images/".$pic) !== false) {
          $img = imagecreatefromgif("/images/".$pic);
          $dim = getimagesize("/images/".$pic);
          $dst = imagecreatetruecolor($dim[0], $dim[1]);
          imagecopyresampled($dst, $img, 0, 0, 0, 0, $dim[0], $dim[1], $dim[0], $dim[1]);
          imagepng($dst, "/images/".$name.".png", 0);
//          imagepng($dst, "/images/".$name.".gif", 0); Falls .gif als Endung gewünscht, obere Zeile auskommentieren und hier die beiden Slashs am Anfang entfernen.
     }
}
?>

Dieses Script öffnet die Gif-Bilder und wandelt sie in PNG um und speichert sie mit der Endung .png.

[MrBrechreiz]

Danke für Deine Mühe Falkenauge Mihawk, aber ich glaube wir reden an einander vorbei.

Ich will nicht die vorhandenen gifs umwandeln sondern meine eigenen Dateien (liegen im png Vormat vor) an deren Stelle ersetzen.