Quiero redirigir los datos de tiempo al archivo, uso child_process para ejecutar el script de shell del código de la siguiente manera:

 var timeAspCommand = "{ time clingo" + " " +programParam + " " + dataParam +" 2> clingo_sterr ; } 2> /root/output/output_clingo.txt" let timeAspChildProcess = exec(timeAspCommand, function ( error, stdout, stderr){ cb(null,stdout) });

la salida/stdout es:

 clingo version 5.4.0 Reading from ...ngo/clingoProgram/borda_asp_program.lp ... Solving... Answer: 1 borda_win(2) borda_score(1,-286) borda_score(2,382) borda_score(3,88) borda_score(4,-292) borda_score(5,108) SATISFIABLE Models : 1 Calls : 1 Time : 0.002s (Solving: 0.00s 1st Model: 0.00s Unsat: 0.00s) CPU Time : 0.002s

Espero que el contenido de output_clingo.txt sea:

 real 0m0.005s user 0m0.005s sys 0m0.000s

después de eso, sin embargo, imputo el script de shell:

cat/root/output/output_clingo.txt , no hay nada que mostrar.

esto es lo que he intentado:

Acabo de ingresar la línea de comando:

 { time clingo /root/clingo/clingoProgram/borda_asp_program.lp /root/clingo/clingoProgram/borda_asp_dataform.txt 2> clingo_sterr ; } 2> /root/output/output_clingo.txt

luego verifico el contenido de output_clingo.txt por

cat/root/output/output_clingo.txt

y obtengo:

 real 0m0.005s user 0m0.005s sys 0m0.000s

esto es justo lo que espero!!! sin embargo, cuando uso child_process para ejecutar el mismo script de shell, no puedo convertir el contenido en el archivo de salida.

que debo solucionar este problema?

gracias!