I just recently purchased "Better Terminal Emulator Pro" on the Google Play Store.
It works well for everything so far, except when I try to do something like
ping google.com or use a hostname for ssh to my home machine.
It can't seem to resolve IP Addresses?
But if I manually resolve myself and then use that IP address
ssh work fine.
Any idea what I'm missing? connectbot on the other hand was able to resolve my home DynDNS hostname just fine for ssh.