mirror of
https://github.com/godotengine/godot.git
synced 2025-10-26 11:14:17 +00:00
Merge pull request #108412 from wjt/push-qmklovyxnnom
linux/bsd/mac: Use pkill to stop remote instance over SSH
This commit is contained in:
commit
0caf8057a7
2 changed files with 2 additions and 2 deletions
|
|
@ -192,7 +192,7 @@ void EditorExportPlatformLinuxBSD::get_export_options(List<ExportOption> *r_opti
|
|||
"\"{temp_dir}/{exe_name}\" {cmd_args}";
|
||||
|
||||
String cleanup_script = "#!/usr/bin/env bash\n"
|
||||
"kill $(pgrep -x -f \"{temp_dir}/{exe_name} {cmd_args}\")\n"
|
||||
"pkill -x -f \"{temp_dir}/{exe_name} {cmd_args}\"\n"
|
||||
"rm -rf \"{temp_dir}\"";
|
||||
|
||||
r_options->push_back(ExportOption(PropertyInfo(Variant::BOOL, "ssh_remote_deploy/enabled"), false, true));
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue