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 += """