Emilio Hernández Martín Wed, 10 May 2000 02:21:35 -0500
Muchas gracias por vuestra ayuda. Al ejecutar 'updatedb' ya sí que me encontró el fichero deseado con 'locate'.