I was just messing around with the virtual keyboard on an Android device. I'm used to using lots of ctrl and alt keys. I'm not sure I can do that with this kind of keyboard. What do you think? Is there an easy way to get that to work. For example, I tried this command: ping my.host And it started pinging one per second. So far, so good, but I always stop that process with Ctrl-C. I couldn't figure out how to do Ctrl-C, so I ended up killing the terminal to deal with it!! ;-)