ssh

• avoid automatic time outs on sessions
• GSSAPIAuthentication no
• GSSAPIDelegateCredentials no
• ServerAliveInterval 60

• to run something on different machines:
• for i in `seq 17 19`; do ssh xml$i sed -i '"s/boost_clicks=0.0/boost_clicks=10/"' my-search/depot/search/Whatever/etc/*/rank.conf ; done
• 
  
for i in 2 3 4 7 8 9 10 11 12 13 14 15 16
do
echo xml$i
ssh toto@xml$i cat /etc/debian_version
done

• ssh users are Ubuntu users. There are no specific ssh users

• to do ssh without entering a pw

• ssh-copy-id user@server