[gnu.bash.bug] bash weirdness

andy@CSVAX.CALTECH.EDU (Andy Fyfe) (06/25/89)

Make a script like the following:
    echo 1
    sleep 2
    echo 2
    sleep 2
    echo 3
    sleep 2
    echo 4
    sleep 2
    echo 5
Source it.  Hit break in the middle.  The script continues, but
the shell exits.  (If it's your login shell then you're logged out!)