37,719
社区成员
发帖
与我相关
我的任务
分享
#!/usr/bin/python
# coding: gbk
import sys
import codecs
stdout = codecs.getwriter('gb18030')(sys.stdout)
readfile = sys.argv[1]
for line in open(readfile,'r',encoding='gb18030'):
s = line.strip()
stdout.buffer.write(s.encode('gb18030'))