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!