GUI Options

The Tools/Options panel in the GUI lets adjust settings and paths. Currently these options include:

RPC Proxy path	path to rpcproxy application on the users machine you connect to. It's unlikely that you want to change this
SSH Key path	path to an OpenSSH key to use for public/private key authentication rather than interactive password. This defaults to $HOME/.ssh/id_rsa. Click "…" to open a file selection dialog and select a different key