From 1540d3479f9e13199758a02a4023b26e93807d4a Mon Sep 17 00:00:00 2001 From: hangliu1 Date: Thu, 5 May 2022 04:40:16 -0400 Subject: [PATCH] config tool:add vmname in launch script add vmname in generated launched script by a comment Tracked-On: #7410 Signed-off-by: hangliu1 --- misc/config_tools/launch_config/launch_cfg_gen.py | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/misc/config_tools/launch_config/launch_cfg_gen.py b/misc/config_tools/launch_config/launch_cfg_gen.py index 76c9fd683..302918e06 100755 --- a/misc/config_tools/launch_config/launch_cfg_gen.py +++ b/misc/config_tools/launch_config/launch_cfg_gen.py @@ -112,6 +112,14 @@ class LaunchScript: s = "" with open(self.script_template_path, "r") as f: + s += f.read(99) + + s += "# Launch script for VM name: " + s += f"{self._vm_name}\n" + s += "\n" + + with open(self.script_template_path, "r") as f: + f.seek(99,0) s += f.read() s += """