Server IP : 213.32.127.20 / Your IP : 216.73.216.144 Web Server : Apache System : Linux ns3.servidorneptuno.com 4.18.0-553.16.1.lve.el8.x86_64 #1 SMP Tue Aug 13 17:45:03 UTC 2024 x86_64 User : atoqsfjh ( 1072) PHP Version : 7.4.33 Disable Function : exec,passthru,shell_exec,system MySQL : OFF | cURL : ON | WGET : ON | Perl : ON | Python : ON | Sudo : OFF | Pkexec : OFF Directory : /proc/899397/root/lib64/python2.7/Tools/scripts/ |
Upload File : |
#! /usr/bin/python2.7 "Replace tabs with spaces in argument files. Print names of changed files." import os import sys import getopt def main(): tabsize = 8 try: opts, args = getopt.getopt(sys.argv[1:], "t:") if not args: raise getopt.error, "At least one file argument required" except getopt.error, msg: print msg print "usage:", sys.argv[0], "[-t tabwidth] file ..." return for optname, optvalue in opts: if optname == '-t': tabsize = int(optvalue) for filename in args: process(filename, tabsize) def process(filename, tabsize, verbose=True): try: f = open(filename) text = f.read() f.close() except IOError, msg: print "%r: I/O error: %s" % (filename, msg) return newtext = text.expandtabs(tabsize) if newtext == text: return backup = filename + "~" try: os.unlink(backup) except os.error: pass try: os.rename(filename, backup) except os.error: pass with open(filename, "w") as f: f.write(newtext) if verbose: print filename if __name__ == '__main__': main()