Je cherche comment enlever l'extension d'un nom de fichier d'une variable :
ex :
$var = "jeu.zip";
aprés traitement : $var = "jeu";
Merci d'avance.
<?php
$file_name = "jeu.zip";
$file_array = explode('.',$file_name);
$extension = count($file_array) - 1;
$new_file_name = substr($file_name,0,strlen($file_array[$extension]));
echo $new_file_name;
?>
a tester J'ai bricolé ça vite fait :Ca marche pas...
Ca m'affiche les 3 premiers caractères de la variable et ca enleve tous le reste...
Car moi j'effectue ce traitement sur plusieurs enregistrement de longueur différent chacun...
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN" "xhtml11.dtd">
<html>
<head>
<title>Essais</title>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
</head>
<body>
<?php
reset($_POST);
while (list($key, $val) = each($_POST )) {
echo "<BR>$key -> $val";
$$key=$val;
}
//phpinfo();
if (isset($FICHIER)) {
$path_parts = pathinfo($FICHIER);
echo "<BR>".$path_parts['dirname'], "\n";
echo "<BR>".$path_parts['basename'], "\n";
echo "<BR>".$path_parts['extension'], "\n";
echo "<BR><BR>Ce qui t'intéresse : ".substr($path_parts['basename'],0,strlen($path_parts['basename'])-strlen($path_parts['extension'])-1);
}
echo "<FORM action=";
echo $_SERVER["PHP_SELF"];
echo " method="post">";
echo "Fichier : <INPUT TYPE=TEXT NAME=FICHIER>";
echo "</FORM>";
?>
</body>
</html>
Ca traite aussi un fichier qui est présenté avec son path.// Je met le nom de mon fichier dans une variable
$file_name = "nomDeFichier.jpg";
// J'explose dans un tableau à chaque fois que je rencontre un point
$file_array = explode ('.',$file_name);
// Je récupère l'indice dans le tableau de l'extension "jpg", soit le dernier élément
$extension = count ($file_array) - 1;
// Je découpe en enlevant l'extension cad (la taille de "jpg" + la taille du point d'où le -1)
$New = substr ($file_name,0,strlen($file_name) -strlen ($file_array[$extension])-1);
// J'affiche
echo $New; $fileInfo = pathinfo($file);
$fileInfos['dirname']
$fileInfos['basename']
$fileInfos['extension']
$fileInfos['filename']
<?php
echo str_replace('.php', '', $file);
echo str_replace('.html', '', $file);
echo str_replace('/', '', $file);
//etc...
?>
<?php
if ($dossier = opendir('core/img'))
{
while (false !== $fichier = readdir($dossier))
{
if ($fichier != '.' && $fichier != ".." )
{
echo '<li><a rel=" ' .$fichierrel. ' " href="core/page/'.$fichier.'.html"><img src="core/img/'.$fichier.' "></a></li>';
}
}
closedir($dossier);
}
?>