bashprompt: distinguish SIGTERM