echo_and_exec: improvements in the pausing option