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
# trap 'echo cmd=$BASH_COMMAND' DEBUG
# trap 'echo Ctrl-C pressed' SIGINT
cmd=trap 'echo Ctrl-C pressed' SIGINT
# while [ 1 ]; do
> true
done
cmd=[ 1 ]
cmd=true
cmd=[ 1 ]
cmd=true
...
cmd=[ 1 ]
cmd=true
cmd=[ 1 ]
cmd=true
^CCtrl-C pressed
# whoami
root
# echo $BASH_COMMAND
true
# trap 'echo cmd=$BA
# trap 'echo cmd=$BASH_COMMAND' DEBUG
# trap 'echo Ctrl-C pressed' SIGINT
cmd=trap 'echo Ctrl-C pressed' SIGINT
# while [ 1 ]; do
> true
done
cmd=[ 1 ]
cmd=true
cmd=[ 1 ]
cmd=true
...
cmd=[ 1 ]
cmd=true
cmd=[ 1 ]
cmd=true
^CCtrl-C pressed
# whoami
root
# echo $BASH_COMMAND
true
# trap 'echo cmd=$BA
