#!@PYTHON@ import sys import os if (len(sys.argv) > 1): filename = sys.argv[1] if not os.path.exists(filename): sys.stdout.write("Error: %s doesn't exist" % filename) sys.exit(1) source = open(filename, "r") else: source = sys.stdin char = None while (char != ""): char = source.read(1) if (char == chr(8)): continue elif (char == chr(13)): sys.stdout.write("\n") elif (char != ""): sys.stdout.write(char) sys.stdout.flush() if (source != sys.stdin): source.close()