Ho provato a reindirizzare l'output del comando time, ma non sono riuscito:
$time ls > filename
real 0m0.000s
user 0m0.000s
sys 0m0.000s
Nel file posso vedere l'output del ls
comando, non quello di time
. Per favore, spiega perché non ho potuto e come farlo.