blog:how_to_trap_interrupts_in_the_bash_shell