command_not_found_handle documentation omission

2017-10-07 Thread Martijn Dekker
The bash manual and info pages state: | If the search is unsuccessful, the shell searches for a | defined shell function named 'command_not_found_handle'. If that | function exists, it is invoked with the original command and the | original command's arguments as its arguments, and the function's

Re: command_not_found_handle documentation omission

2017-10-07 Thread Chet Ramey
On 10/7/17 3:53 PM, Martijn Dekker wrote: > The bash manual and info pages state: > > | If the search is unsuccessful, the shell searches for a > | defined shell function named 'command_not_found_handle'. If that > | function exists, it is invoked with the original command and the > | original co

Re: Segfault when SIGPIPE and SIGINT used together

2017-10-07 Thread Chet Ramey
On 10/6/17 6:58 PM, ANDERSON, CRAIG wrote: > Repeat-By: > Running the following script: > > #!/bin/bash > > exec >& >(while read line; do echo "$line"; done) > > trap 'echo sigpipe' SIGPIPE > trap 'echo sigint' SIGINT > > echo 'Sleeping 60 seconds, press Ctrl+C to segfault!' > sleep 60