On 1/30/15 1:51 AM, Chih-Chieh Chou wrote: > # trap 'echo cmd=$BASH_COMMAND' DEBUG > # trap 'echo Ctrl-C pressed' SIGINT > cmd=trap 'echo Ctrl-C pressed' SIGINT
You don't say anything about what version of bash you're using or what
system you're running it on, but I could not reproduce this using
bash-4.3.33.
Chet
--
``The lyf so short, the craft so long to lerne.'' - Chaucer
``Ars longa, vita brevis'' - Hippocrates
Chet Ramey, ITS, CWRU [email protected] http://cnswww.cns.cwru.edu/~chet/
