home / system / tools_source

Menu
  • GraphQL API
  • Search all tables

tools_source: 15

This data as json

id tool_id filename language content
15 3 epoch.py py #!/usr/bin/env python3 """epoch — convert between unix timestamps and dates""" import sys from datetime import datetime, timezone def main(): inp = sys.argv[1] if len(sys.argv) > 1 else input().strip() try: ts = int(inp) dt = datetime.fromtimestamp(ts, tz=timezone.utc) print(dt.isoformat()) except ValueError: dt = datetime.fromisoformat(inp) print(int(dt.timestamp())) if __name__ == "__main__": main()
Powered by Datasette · 0.818ms · krisyotam.com