bin/base36-to-uuid @ 223d755b1ce1

Merge.
author Steve Losh <steve@stevelosh.com>
date Thu, 02 May 2019 10:10:34 -0400
parents e6f6389e598f
children (none)
#!/usr/bin/env python

import sys, uuid

s = ''
if len(sys.argv) != 2 or sys.argv[1] == '-':
    s = sys.stdin.read().strip()
else:
    s = sys.argv[1]

print uuid.UUID(hex(int(s, 36))[2:-1].zfill(32))