3 ms·
Is there a good way to display these in a terminal? The result is a little ugly because it ends up vertically stretched.
by slavik81 9y ago
Is there a good way to display these in a terminal? The result is a little ugly because it ends up vertically stretched.
- khedoros1 9y agoI'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'))