bash notes

eval  "$(resize)" isn't enough if you stretch some (all?) terminal
emulators wide (vertical changes are handled, I believe), but this fixes
the problem:

kill -WINCH $$

Trapping control-C (or the interrupt character, more generally):

# Set a trap so we can continue if ctrl-c is pressed during the task
unset ctrl_c
trap 'ctrl_c=true' INT

# Perform whatever task needs to be done here

# Reset the trap
trap - INT

# If ctrl-c is pressed, do whatever action is necessary here
if [ $ctrl_c ]
then
        ...
fi