⭐ 欢迎来到虫虫下载站! | 📦 资源下载 📁 资源专辑 ℹ️ 关于我们
⭐ 虫虫下载站

📄 make_numbered_listing.py

📁 这是用python语言写的一个数字广播的信号处理工具包。利用它
💻 PY
字号:
#!/usr/bin/env pythonimport sysimport os, os.pathfrom optparse import OptionParserdef quote_line (line):    line = line.replace ('&', '&amp;')    line = line.replace ('<', '&lt;')    line = line.replace ('>', '&gt;')    line = line.replace ("'", '&apos;')    line = line.replace ('"', '&quot;')    return linedef generate_listing (input_filename, title=None):    inf = open (input_filename, "r")    output_filename = os.path.basename (input_filename) + '.xml'    outf = open (output_filename, "w")    outf.write ('<?xml version="1.0" encoding="ISO-8859-1"?>\n')    # outf.write ('<example id="%s">\n' % (input_filename,))    # if not title:    #     title = input_filename    # outf.write ('<title>')    # outf.write (title)    # outf.write ('</title>\n')    outf.write ('<programlisting>\n');    lineno = 0    for line in inf:        line = line.expandtabs (8)        line = quote_line (line)        lineno = lineno + 1        outf.write ('%3d  %s' % (lineno, line))    outf.write ('</programlisting>\n')    # outf.write ('</example>\n')def main ():    for file in sys.argv[1:]:        generate_listing (file)if __name__ == '__main__':    main ()    

⌨️ 快捷键说明

复制代码 Ctrl + C
搜索代码 Ctrl + F
全屏模式 F11
切换主题 Ctrl + Shift + D
显示快捷键 ?
增大字号 Ctrl + =
减小字号 Ctrl + -