robotengine.cli
1import argparse 2from robotengine.help_server import start_server 3 4def main(): 5 parser = argparse.ArgumentParser(prog="robotengine") 6 7 parser.add_argument( 8 "--doc", 9 action="store", 10 type=str, 11 default="robotengine/docs/robotengine.html", 12 help="Open the specified HTML file (default is robotengine.html)" 13 ) 14 15 args = parser.parse_args() 16 17 if args.doc: 18 start_server(html_file=args.doc) 19 20if __name__ == "__main__": 21 main()
def
main():
5def main(): 6 parser = argparse.ArgumentParser(prog="robotengine") 7 8 parser.add_argument( 9 "--doc", 10 action="store", 11 type=str, 12 default="robotengine/docs/robotengine.html", 13 help="Open the specified HTML file (default is robotengine.html)" 14 ) 15 16 args = parser.parse_args() 17 18 if args.doc: 19 start_server(html_file=args.doc)