@dhylands How is this done? I'm not aware of a typeof() operator or similar for bash.