使用python编写ssh工具

#!/usr/bin/env python
import os
ip_file = ‘/home/sean/ip.txt‘
f = file(ip_file)
ip_dic = {}
num = 0
while True:
        line = f.readline()
        if len(line) == 0:break
        num +=1
        ip_dic[num] = line
f.close()
for a,b in ip_dic.items():
        print ‘\033[32;1m%s. %s\033[0m‘%(a,b),
option = int(raw_input(‘please choose one server to connect:‘))
if option in ip_dic.keys():
        print ip_dic[option],
        user = raw_input(‘username:‘).strip()
        cmd = ‘ssh %[email protected]%s‘ %(user,ip_dic[option])
        os.system(cmd)
else:
        print ‘Input error!‘