# HG changeset patch
# User HackBot
# Date 1394190201 0
# Node ID ab2d8a9d14321bbe2b55cadedfd086111531deff
# Parent  6e6e0d9b8dfa2b9a2b67ef5c5d1d6d8218637b16
<fizzie> sed -i -e \'s/import sys/import re\\nimport sys/\' -e \'s/map(unicodedata.lookup/map(l/\' -e \'s/try:/def l(c): m = re.match(\'\\\'\'(?:U+)?([0-9a-f]{4})$\'\\\'\', c); return unicodedata.lookup(c) if m is None else unichr(int(m.group(1),16))\\ntry:/\' bin/unicode

diff -r 6e6e0d9b8dfa -r ab2d8a9d1432 bin/unicode
--- a/bin/unicode	Wed Mar 05 11:40:11 2014 +0000
+++ b/bin/unicode	Fri Mar 07 11:03:21 2014 +0000
@@ -1,8 +1,10 @@
 #!/usr/bin/env python
 # -*- encoding: utf-8 -*-
+import re
 import sys
 import unicodedata
+def l(c): m = re.match('(?:U+)?([0-9a-f]{4})$', c); return unicodedata.lookup(c) if m is None else unichr(int(m.group(1),16))
 try:
-    print u''.join(map(unicodedata.lookup, sys.argv[1:])).encode('utf-8')
+    print u''.join(map(l, sys.argv[1:])).encode('utf-8')
 except KeyError:
     print u'Unknown character.'