Nom d'un fichier par son extension
Résolu
Petit Raptor
Messages postés
187
Date d'inscription
Statut
Membre
Dernière intervention
-
Petit Raptor Messages postés 187 Date d'inscription Statut Membre Dernière intervention -
Petit Raptor Messages postés 187 Date d'inscription Statut Membre Dernière intervention -
Bonjour,
Je cherche sur google mais je tombe toujours sur l'inverse: récupérer l'extension d'un fichier.
Ce que je cherche a faire en fait, c'est récupéré le nom d'un .mp3 qui est à la racine de mon FTP.
Sur la page en question, je voudrais qu'en fait a chaque fois que je change de mp3 (que j'en met un différent), le lien se change automatiquement pour le nouveau nom du mp3.
Vous ne sauriez pas comment faire ?
Cordialement,
Petit Raptor
Je cherche sur google mais je tombe toujours sur l'inverse: récupérer l'extension d'un fichier.
Ce que je cherche a faire en fait, c'est récupéré le nom d'un .mp3 qui est à la racine de mon FTP.
Sur la page en question, je voudrais qu'en fait a chaque fois que je change de mp3 (que j'en met un différent), le lien se change automatiquement pour le nouveau nom du mp3.
Vous ne sauriez pas comment faire ?
Cordialement,
Petit Raptor
A voir également:
- Nom d'un fichier par son extension
- Fichier bin - Guide
- Changer extension fichier - Guide
- Comment réduire la taille d'un fichier - Guide
- Comment ouvrir un fichier epub ? - Guide
- Fichier rar - Guide
11 réponses
Désolé, je n'avais pas lu tes messages à cause d'un bug sur CCM (tous les sujets même sans nouvelle réponse se mettaient en gras).
<?php $dir = './'; $elements = scandir($dir); foreach($elements as $element) { if(preg_match('#\.mp3$#i',$element)) echo '<a href="'.$element.'">'.rtrim($element, '.mp3').'</a>'; } ?>
<?php $dir = './'; $elements = scandir($dir); foreach($elements as $element) { if(preg_match('#\.mp3$#i',$element)) echo $element; } ?>
Donc, d'après ce code, je dois faire comment pour récupéré seulement le nom du fichier mp3 ou le nom et l'extension ?
C'est contenu dans la variable "$element" ?
C'est contenu dans la variable "$element" ?
Remplace 'echo $element;' par '$url = $element;'
Et il te suffira de mettre <?php echo $url; ?> à la place de l'url de ton fichier
Et il te suffira de mettre <?php echo $url; ?> à la place de l'url de ton fichier
Vous n’avez pas trouvé la réponse que vous recherchez ?
Posez votre question
Ok, en fait le problème que j'ai avec ce code, c'est que je voudrais que le résultat de la recherche ce sorte que le "nom" du fichier .... sans l'extension.
Je crois avoir trouver une solution ^^
J'ai trouver ce code sur internet mais le problème étant que dès que j'arrive sur la page la fenêtre choisissant d'ouvrir ou de télécharger le fichier s'ouvre automatiquement.
Je voudrais qu'elle s'ouvre seulement quand je clique sur le lien.
J'ai trouver ce code sur internet mais le problème étant que dès que j'arrive sur la page la fenêtre choisissant d'ouvrir ou de télécharger le fichier s'ouvre automatiquement.
Je voudrais qu'elle s'ouvre seulement quand je clique sur le lien.
<?php $dir = '.'; $elements = scandir($dir); foreach($elements as $element) { if(preg_match('#\.mp3$#i',$element)) { $url = $element; } } ?> <?php $fichier_nom = basename($url); $fichier_taille = filesize($url); $fichier_mime = mime_content_type($url); header("Content-disposition: attachment; filename=$fichier_nom" ); header("Content-Type: $fichier_mime" ); header("Content-Transfer-Encoding: binary" ); header("Content-Length: $fichier_taille" ); header("Pragma: no-cache" ); header("Cache-Control: no-store, no-cache, must-revalidate, post-check=0, pre-check=0" ); header("Expires: 0" ); readfile($url); ?>
Normalement il te faut un lecteur chez le client pour lire une musique, ça ne se fait pas en PHP.
Regarde du côté de JW Player ou Dewplayer
Regarde du côté de JW Player ou Dewplayer
Hein ?
Mais j'ai jamais parler de lire d'une musique .....
J'ai déjà un lecteur pour la lire, ce que je veux c'est afficher un lien vers le seul mp3 qu'il y a sur mon serveur et que je ne sois pas obliger de le changer manuellement a chaque fois que je met une musique différente sur mon serveur.
Mais j'ai jamais parler de lire d'une musique .....
J'ai déjà un lecteur pour la lire, ce que je veux c'est afficher un lien vers le seul mp3 qu'il y a sur mon serveur et que je ne sois pas obliger de le changer manuellement a chaque fois que je met une musique différente sur mon serveur.
Bon, pour être plus précis sur ce que j'essaye de faire, je donne le code et je donne ce que je voudrais que ça fasse sur le site.
Et voilà c'est tout c'que j'veux en plus ^^
Je voudrais donc récupéré le nom seulement du seul mp3 que j'ai sur mon serveur, le mettre en lien et mettre comme texte de lien, le nom de ce mp3.
<a href="Mon-mp3.mp3">Mon-mp3</a>
Et voilà c'est tout c'que j'veux en plus ^^
Je voudrais donc récupéré le nom seulement du seul mp3 que j'ai sur mon serveur, le mettre en lien et mettre comme texte de lien, le nom de ce mp3.