annotate IdOF @ 10073:6ce8c59cc37e

<zgrep> fetch http://sprunge.us/IdOF
author HackBot
date Sun, 01 Jan 2017 16:24:04 +0000
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
10073
6ce8c59cc37e <zgrep> fetch http://sprunge.us/IdOF
HackBot
parents:
diff changeset
1 #!/usr/bin/env python
6ce8c59cc37e <zgrep> fetch http://sprunge.us/IdOF
HackBot
parents:
diff changeset
2 import sys
6ce8c59cc37e <zgrep> fetch http://sprunge.us/IdOF
HackBot
parents:
diff changeset
3 if len(sys.argv) != 2:
6ce8c59cc37e <zgrep> fetch http://sprunge.us/IdOF
HackBot
parents:
diff changeset
4 print('Incorrect usage.')
6ce8c59cc37e <zgrep> fetch http://sprunge.us/IdOF
HackBot
parents:
diff changeset
5 exit(1)
6ce8c59cc37e <zgrep> fetch http://sprunge.us/IdOF
HackBot
parents:
diff changeset
6 o = u"".encode("utf-8")
6ce8c59cc37e <zgrep> fetch http://sprunge.us/IdOF
HackBot
parents:
diff changeset
7 for c in sys.argv[1]:
6ce8c59cc37e <zgrep> fetch http://sprunge.us/IdOF
HackBot
parents:
diff changeset
8 o += c.encode("utf-8")
6ce8c59cc37e <zgrep> fetch http://sprunge.us/IdOF
HackBot
parents:
diff changeset
9 o += u"\u0308".encode("utf-8")
6ce8c59cc37e <zgrep> fetch http://sprunge.us/IdOF
HackBot
parents:
diff changeset
10 print(o)
6ce8c59cc37e <zgrep> fetch http://sprunge.us/IdOF
HackBot
parents:
diff changeset
11