Buscador de archivos PHP

[arturogg]

Buenas a todos, mi consulta es para poder crear un buscador de archivos locales en código PHP.

Yo hago animaciones en flash por eso no tengo mucho conocimiento en PHP, pero si lo he llegado a usar algo en Dreamweaver.

Hice una animacion en flash y la voy a publicar con un servidor local (localhost), lo que quiero es que arriba de donde yo inserto la animacion swf poner un buscador de archivos (cuadro de textos y boton) por ejemplo:

Yo tengo en la carpeta paginas con varios nombres: oso.html, carro.html, avion.html, etc. si en el cuadro de texto ponen "oso" al oprimir buscar, este boton haga la busqueda en las carpetas y muestre la pagina oso.html.

Espero me de a entender, muchas gracias.

[MaNuX0218]

Aqui tienes una solución sobre lo que buscas:

http://www.forosdelweb.com/1922691-post4.html

Saludos.

[arturogg]

Una pregunta, este código va en el boton de busqueda?
o sólo muestra donde esta el archivo, pero no lo visualiza?

[arturogg]

Perdon, no fui muy especifico, Por lo que estoy viendo:

Aqui le indico el nombre del archivo a buscar
$archivo='whistling.gif';
Pero cómo se le indica que busque lo que hay en un cuadro de texto?

Y aquí es donde tiene que ir la direccion del servidor local
echo buscar('C:/Programas/Internet/EasyPHP1-8/www/aq2chile.cl',$archivo);

Muchas gracias por tu ayuda

[NSD]

Asi como lo planteas no veo la necesidad de usar php.

Código HTML:

<form onsubmit="return search_form()" id="search_form">
    <input type="search" id="search">
    <input type="submit" value="Buscar">
</form>
<script>
    function search_form() {
        window.location = 'http://localhost/tu_carpeta/'+document.querySelector("#search_form #search").value+'.html'; 
        return false; 
    }
</script>
 

[cdmarco92]

arturogg no se si ya lo solucionaste, soy nuevo en el foro pero intentare aportar
para recibir el nombre del archivo a buscar puedes ingresarlo desde un simple formulario y recibirlo en php asi

<form action="tu_archivo.php" method="post">
<input type="text" name="nombre_archivo"/>
<input type="submit" />
</form>

y en php lo recibes de esta forma

$archivo = $_POST['nombre_archivo'];

y asi lo recibes desde un cuadro de texto. suerte