Looking for some terminal tools for a bash script. I have openconnect so far, but it doesn’t play nicely