bin/base36-to-uuid @ 4f28fbfd7d63 default tip

More
author Steve Losh <steve@stevelosh.com>
date Tue, 09 Apr 2024 09:20:04 -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))