Output de time dans un fichier

Résolu
Bonjour,
voila, j'ai fait un script qui fait appel à un programme avec la
commande time, et en l'exécutant je dirige la sortie vers un fichier
d'output, sauf que la sortie de la commande time s'affiche toujours en
terminal et pas dans le fichier de sortie. ya t'il une solution à ce
problème?

mon script: arms.s

time cat << eof | ./ARMS
ml2
concat.mol2

1 12 1 1 9999 2
1 13 1 1 9999 2
1 14 1 1 9999 2
1 15 1 1 9999 2
1 16 1 1 9999 2

et quand j'execute

./arms.s > output.log

j'ai le temps à l'ecran et le reste de sortie de ARMS dans le fichier
output.log

merci de votre aide
Configuration: Linux
Firefox 3.0.6

5 réponses

  1. hello
    essaye la redirection de stderr dans stdout
    ./arms.s > output.log 2>&1
    0
    1. merci bien mais j'ai deja essayé ça et ça fait: Redirection de sortie ambigue.
      0
  2. Modérateur
    Salut,
    time -o output.log -a cat << eof
    ...
    ...
    
    ;-))
    0
    1. bonne idée merci, mais là pour mon cas ça marche pas parceque en fait j'ai simplifié le post, le sript arms.s ya un programme qui le génère et l'utilise, et moi j'ai besoin de l'output du script final qui appele les deux!
      0
    2. @kamansje precise que je suis en tcsh
      0
  3. et avec
    cat << eof | time ./ARMS
    0
    1. ca change tout
      essaye
      ./arms.s >& output.log
      0
      1. merci ça résous le problème
        0

        Discussions similaires

        question pix mot caché

        7 réponses