Nice trick, that solves the problem of hitting Ctrl-C and the script sometimes looping again.

Never thought about this shortening before. Nice tip!

Makes me wonder about code golf for shell scripts. Now there's a rabbit hole...