2010-03-11 18:53:45 -04:00
|
|
|
#! /usr/bin/env python3
|
1998-09-14 12:43:38 -03:00
|
|
|
|
|
|
|
"Replace tabs with spaces in argument files. Print names of changed files."
|
|
|
|
|
|
|
|
import os
|
|
|
|
import sys
|
|
|
|
import getopt
|
|
|
|
|
2010-08-09 09:24:20 -03:00
|
|
|
|
1998-09-14 12:43:38 -03:00
|
|
|
def main():
|
|
|
|
tabsize = 8
|
|
|
|
try:
|
|
|
|
opts, args = getopt.getopt(sys.argv[1:], "t:")
|
|
|
|
if not args:
|
2007-08-22 20:05:06 -03:00
|
|
|
raise getopt.error("At least one file argument required")
|
2007-01-10 12:19:56 -04:00
|
|
|
except getopt.error as msg:
|
2007-08-03 14:06:41 -03:00
|
|
|
print(msg)
|
|
|
|
print("usage:", sys.argv[0], "[-t tabwidth] file ...")
|
1998-09-14 12:43:38 -03:00
|
|
|
return
|
1998-10-20 12:33:33 -03:00
|
|
|
for optname, optvalue in opts:
|
|
|
|
if optname == '-t':
|
|
|
|
tabsize = int(optvalue)
|
1998-09-14 12:43:38 -03:00
|
|
|
|
2003-05-13 15:14:25 -03:00
|
|
|
for filename in args:
|
|
|
|
process(filename, tabsize)
|
1998-09-14 12:43:38 -03:00
|
|
|
|
2010-08-09 09:24:20 -03:00
|
|
|
|
2003-05-13 15:14:25 -03:00
|
|
|
def process(filename, tabsize):
|
1998-09-14 12:43:38 -03:00
|
|
|
try:
|
2010-08-09 09:24:20 -03:00
|
|
|
with open(filename) as f:
|
|
|
|
text = f.read()
|
2007-01-10 12:19:56 -04:00
|
|
|
except IOError as msg:
|
2007-08-03 14:06:41 -03:00
|
|
|
print("%r: I/O error: %s" % (filename, msg))
|
1998-09-14 12:43:38 -03:00
|
|
|
return
|
2002-09-11 17:36:02 -03:00
|
|
|
newtext = text.expandtabs(tabsize)
|
1998-09-14 12:43:38 -03:00
|
|
|
if newtext == text:
|
|
|
|
return
|
2003-05-13 15:14:25 -03:00
|
|
|
backup = filename + "~"
|
1998-09-14 12:43:38 -03:00
|
|
|
try:
|
|
|
|
os.unlink(backup)
|
|
|
|
except os.error:
|
|
|
|
pass
|
|
|
|
try:
|
2003-05-13 15:14:25 -03:00
|
|
|
os.rename(filename, backup)
|
1998-09-14 12:43:38 -03:00
|
|
|
except os.error:
|
|
|
|
pass
|
2010-08-09 09:24:20 -03:00
|
|
|
with open(filename, "w") as f:
|
|
|
|
f.write(newtext)
|
2007-08-03 14:06:41 -03:00
|
|
|
print(filename)
|
1998-09-14 12:43:38 -03:00
|
|
|
|
2010-08-09 09:24:20 -03:00
|
|
|
|
1998-09-14 12:43:38 -03:00
|
|
|
if __name__ == '__main__':
|
|
|
|
main()
|