Re: TIMEFORMAT in time ( )

2016-10-17 Thread Eduardo A . Bustamante López
The attached patch "fixes" this: hp% ./bash -c 'time (TIMEFORMAT=y)' real0m0.001s user0m0.000s sys 0m0.000s hp% bash -c 'time (TIMEFORMAT=y)' y Disclaimer: I don't know if it's a good patch. It may break stuff. This problem is caused due to bash passing

Re: forked before bash subshell

2016-10-17 Thread L. A. Walsh
Ya know, if you are looking for optimization opportunities, using a temporary file to communicate between processes rather than using an actual pipe, is definitely a performance hit -- ESPECIALLY on Cygwin, where you can't even do a "stat" call on a file without actually opening the file. I seem

Assigning to BASHPID fails silently

2016-10-17 Thread Martijn Dekker
bash 4.4.0 (I did not investigate other versions) does not produce an error message if you try to assign something to the BASHPID readonly using either arithmetic or normal assignment. Other readonlies produce a message on an assignment attempt. BASHPID seems to be an exception. Particularly anno