zcat.py 269 B

123456789101112131415
  1. #! /usr/bin/env micropython
  2. import gzip
  3. import sys
  4. def main(fname):
  5. with open(fname, "rb") as f:
  6. with gzip.GzipFile(fileobj=f) as g:
  7. s = g.read()
  8. print(s.decode("UTF-8"), end="")
  9. if __name__ == "__main__":
  10. main(sys.argv[1])