File content as of revision 1:6a0d1086a928:

#include "mbed.h"
#include "SDFileSystem.h"

Serial pc(USBTX, USBRX);
SDFileSystem sd(PTD2, PTD3, PTD1, PT, "sd");


int main() {
    pc.baud(9600);
    pc.printf("Bienvenido");
    char f[10] = {"/sd/mydir"};
    char fll[23] = {"/sd/mydir/archivo1.txt"};
    char datos[1024]={0};
    char *carpeta;
    char *archivo;
    int serial=0;
    int i = 0;
    char terminante = 0;
    carpeta = &f[0]; 
    archivo = &fll[0];
    mkdir("/sd/",0777);
    mkdir(carpeta,0777);
    FILE *fl = fopen(archivo, "w");
    if(fl == NULL) {
        error("Could not open file for write\n");
    }
    i = 0;
    pc.printf("\nEl archivo se llama archivo1.txt \n\r");
    pc.printf("\nContenido del archivo. termina con escape '\n\r");
    do{
        if(pc.readable()){
          serial = pc.getc();
          if(serial == 0x1B) terminante = 1;
          else datos[i++] = serial;
        }
    }while(!terminante);
    fprintf(fl, &datos[0]);
    fclose(fl);     
    pc.printf("Listo");
}