<?
if($_GET["cat"] == "progs")
{
$handle=opendir('upload/programme');
while ($file = readdir ($handle)) {
if ($file != "." && $file != "..") {
$dateiname = split("[.]",$file);
echo "<font size="2" face="Tahoma"><a href="upload/programme/".$file."\n"class="dl">".$dateiname[0]."\n<br></a><hr color="#000000"></hr></font>";
}
}
closedir($handle);
}
split trennt den teil des dateinamens vor dem "." und schreibt ihn in das array $dateiname[0].
den rest des dateinamens (also alles nach dem punkt) schreibt er in $dateiname[1].
ACHTUNG:
mit dieser variante darfst du keine Punkte mehr vor dem *.gif (oder *.jpg) in dem dateinamen haben!
sonst:
$file = "datei.name.gif"
$dateiname ("datei", "name", "gif")
richtig:
$file = "dateiname.gif"
$dateiname ("dateiname", "gif")