From: john AT exmachina DOT net (John Mullee) Subject: bash-2.02 builtin 'time' won't redirect 18 Nov 1998 02:12:08 -0800 Message-ID: <3.0.3.16.19981117213229.1e7fb55e.cygnus.gnu-win32@exmachina.net> Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" To: gnu-win32 AT cygnus DOT com time blah > timelog 2>&1 echos the times to the console - is this normal? shouldn't they get redirected? mystified, brussels ----- bash-2.02$ time ls > timelog 2>&1 ; cat timelog real 0m0.281s user 0m0.050s sys 0m0.090s bash-2.02$ `time ls` > timelog 2>&1 ; cat timelog real 0m0.151s user 0m0.050s sys 0m0.080s bash-2.02$ /bin/time ls > timelog 2>&1 ; cat timelog timelog 0.02user 0.08system 0:00.15elapsed 66%CPU (0avgtext+0avgdata 0maxresident)k 0inputs+0outputs (0major+0minor)pagefaults 0swaps - For help on using this list (especially unsubscribing), send a message to "gnu-win32-request AT cygnus DOT com" with one line of text: "help".