17 Nov
2011
17 Nov
'11
5:32 p.m.
Mantas Mikulėnas a écrit :
You can sort of avoid this by redirecting the output to the proper location -- your terminal. (I'm not sure how reliable this is.)
trap '[[ $BASH_SOURCE ]] || printf "\e]0;%s\a" "$BASH_COMMAND" >/dev/tty' DEBUG
Thanks, it annihilated the side effects. -- Bastien