add --dump-sysinfo, a cmd arg to dump limited sysinfo file at startup

1 files changed, 7 insertions, 0 deletions

diff --git a/launch.py b/launch.py
index e4c2ce99..f83820d2 100644
--- a/launch.py
+++ b/launch.py
@@ -25,6 +25,13 @@ start = launch_utils.start
 

 

 def main():

+    if args.dump_sysinfo:

+        filename = launch_utils.dump_sysinfo()

+

+        print(f"Sysinfo saved as {filename}. Exiting...")

+

+        exit(0)

+

     launch_utils.startup_timer.record("initial startup")

 

     with launch_utils.startup_timer.subcategory("prepare environment"):