joxeankoret

time.py

Feb 23rd, 2026
11,132
0
Never
2
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
Python 0.51 KB | None | 0 0
  1. #!/usr/bin/python
  2.  
  3. import os
  4. import sys
  5. from datetime import datetime
  6.  
  7. #-----------------------------------------------------------------------
  8. def usage():
  9.   print("Usage:", sys.argv[0], "<command line>")
  10.  
  11. #-----------------------------------------------------------------------
  12. def main(args):
  13.   cmd_line = " ".join(args)
  14.   t = datetime.now()
  15.   os.system(cmd_line)
  16.   print("\nTime", datetime.now() - t)
  17.  
  18. if __name__ == "__main__":
  19.   if len(sys.argv) == 1:
  20.     usage()
  21.   else:
  22.     main(sys.argv[1:])
  23.  
  24.  
Advertisement