hwayne / tlacli

A script for running TLA+/TLC from the command line
MIT License
80 stars 4 forks source link

Exception on running without arguments #10

Open ligurio opened 3 years ago

ligurio commented 3 years ago
sergeyb@pony:~/sources/MRG/packpack$ ~/.local/bin/tlacli 
Traceback (most recent call last):
  File "/home/sergeyb/.local/bin/tlacli", line 8, in <module>
    sys.exit(main())
  File "/home/sergeyb/.local/lib/python3.8/site-packages/tlacli/tlacli.py", line 16, in main
    args.run(args)
AttributeError: 'Namespace' object has no attribute 'run'
sergeyb@pony:~/sources/MRG/packpack$ 

Version: tlacli-0.0.1

hwayne commented 3 years ago

Could you share with me the src of bin/tlacli? I'm on Windows so don't know what it's compiled to.

ligurio commented 3 years ago

Sure.

#!/usr/bin/python3
# -*- coding: utf-8 -*-
import re
import sys
from tlacli.tlacli import main
if __name__ == '__main__':
    sys.argv[0] = re.sub(r'(-script\.pyw|\.exe)?$', '', sys.argv[0])
    sys.exit(main())