char * replace_extension( char * destino, const char * archivo, const char * extension, int size )

Retorna:

 El archivo con la extensión sustituida.

Descripción:

Sustituye el nombre de archivo+extensión especificados con una nueva extensión, 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_extension( archivo, "corre.bat", "exe", 255);
 
 LOOP
  FRAME;
 
END_PROGRAM

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