3 ms·
I'm sure there's a cleaner way to do this, but this'll take input in the form of the "stretched" ASCII art and double up the characters. My fixed-width font is
by khedoros1 9y ago
I'm sure there's a cleaner way to do this, but this'll take input in the form of the "stretched" ASCII art and double up the characters. My fixed-width font is half as wide as tall, so it works out.
To read from a file "filename":
print("".join([a+a for a in open("filename").read()]).replace('\n\n','\n'))
To read from stdin:
import sys
print("".join([a+a for a in sys.stdin.read()]).replace('\n\n','\n'))