FWIW, the missing piece was this:
which leads to the likes of this every time the bash prompt is displayed, e.g. after Ctrl-Z'ing a terminal app I've temporarily done with, but which I don't want to utterly exit:
FWIW, the missing piece was this:
which leads to the likes of this every time the bash prompt is displayed, e.g. after Ctrl-Z'ing a terminal app I've temporarily done with, but which I don't want to utterly exit: