char * replace_filename( char * destino, const char * archivo, const char * archivo_nuevo, int size )

Retorna:

 El archivo con el nuevo nombre de archivo.

Descripción:

Sustituye la ruta+nombre de un fichero especificados con un nuevo nombre de fichero, escribiendo en destino como máximo el número de bytes especificados por size. Devuelve una copia del parámetro destino.

MAIN_PROGRAM_CDIV
 PRIVATE
  char archivo[255];
BEGIN_PROGRAM
 
 set_gfx(GFX_AUTODETECT_WINDOWED);
 
 set_mode( 900, 200 );
 
 write(0,0,10,0, "Archivo ejecutable:");
 write(0,0,20,0, archivo);
 
 replace_filename( archivo, "c:/test/corre.bat", "run.bat", 255);
 
 LOOP
  FRAME;
 
END_PROGRAM

Ver: replace_extension() - get_dirinfo() - exists() - get_filename() - delete_file()