Обсуждение: ssh-agent and ~/.ssh/config

Hi All.

ssh has this:

#cat ~/.ssh/config

Host host-gate    Hostname www.mysite.com #for example 155.155.155.155 (ext ip)    Port 22    User root
Host host-in    Hostname 192.168.1.100 # (int ip for example)    Port 22    User root    ProxyCommand ssh host-gate nc
-w180 %h %p
 


and now We can open console directrly to host-in
#ssh host-in
root@host-in # hostname
host-in

so we open host-in through host-gate

of course now we can do this:
#ssh -L5432:localhost:5432 host-in

and  connect pgadmin to localhost on port 5432, but...
is it possibe to add functionaly to pgadmin for use ssh config file 
(~/.ssh/config) and ssh-agent?, this is will be very good

Eugen.