Differences
This shows you the differences between two versions of the page.
|
dev:sh:ssh_list [2009/08/17 13:19] py |
dev:sh:ssh_list [2010/04/27 10:23] (current) py |
||
|---|---|---|---|
| Line 35: | Line 35: | ||
| <pre> | <pre> | ||
| #!/bin/sh | #!/bin/sh | ||
| + | # see infos.txt | ||
| servers_list=/etc/servers.list | servers_list=/etc/servers.list | ||
| if [ $# -gt 1 ] | if [ $# -gt 1 ] | ||
| Line 54: | Line 55: | ||
| hostname=`echo $i | cut -d: -f4` | hostname=`echo $i | cut -d: -f4` | ||
| port=`echo $i | cut -d: -f5` | port=`echo $i | cut -d: -f5` | ||
| + | options=`echo $i | cut -d: -f6` | ||
| - | echo "\t[$number] $name ( ssh $username@$hostname -p $port )" | + | echo "\t[$number] $name ( ssh $options $username@$hostname -p $port )" |
| done | done | ||
| echo -n "\n Your choice ? " | echo -n "\n Your choice ? " | ||
| Line 75: | Line 77: | ||
| hostname=`echo $server | cut -d: -f4` | hostname=`echo $server | cut -d: -f4` | ||
| port=`echo $server | cut -d: -f5` | port=`echo $server | cut -d: -f5` | ||
| + | options=`echo $server | cut -d: -f6` | ||
| - | echo "\n Connecting to $name...\n Executing ssh $username@$hostname -p $port\n" | + | echo "\n Connecting to $name...\n Executing ssh $options $username@$hostname -p $port\n" |
| - | ssh $username@$hostname -p $port | + | ssh $options $username@$hostname -p $port |
| - | exit | + | exit</pre> |
| - | </pre> | + | |
| </html> | </html> | ||
