Source

myne / scripts / water-world.py

import gzip
import sys
import os

if len(sys.argv) == 1:
    print "Please provide a filename."

filename = sys.argv[1]    
    
print "Converting still water to normal water in %s..." % filename

gzf = gzip.GzipFile(filename)
ngzf = gzip.GzipFile(filename + ".new", "wb")

# Write the size header
ngzf.write(gzf.read(4))

# Write each byte, checking for out-of-range
chunk = gzf.read(2048)
while chunk:
    ngzf.write("".join([("\8" if ord(byte) == 9 else byte) for byte in chunk]))
    chunk = gzf.read(2048)

gzf.close()
ngzf.close()
os.rename(filename+".new", filename)
Tip: Filter by directory path e.g. /media app.js to search for public/media/app.js.
Tip: Use camelCasing e.g. ProjME to search for ProjectModifiedEvent.java.
Tip: Filter by extension type e.g. /repo .js to search for all .js files in the /repo directory.
Tip: Separate your search with spaces e.g. /ssh pom.xml to search for src/ssh/pom.xml.
Tip: Use ↑ and ↓ arrow keys to navigate and return to view the file.
Tip: You can also navigate files with Ctrl+j (next) and Ctrl+k (previous) and view the file with Ctrl+o.
Tip: You can also navigate files with Alt+j (next) and Alt+k (previous) and view the file with Alt+o.