[gnome-builder/wip/gtk4-port: 1517/1774] plugins/shellcmd: use push args to avoid altering them

[Christian Hergert <chergert src gnome org>]

commit 2cd7688cdecf6077fd107a7dabeb3f4bc42d8402
Author: Christian Hergert <chergert redhat com>
Date:   Tue Jun 14 23:57:12 2022 -0700

    plugins/shellcmd: use push args to avoid altering them

 src/plugins/shellcmd/gbp-shellcmd-run-command.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/src/plugins/shellcmd/gbp-shellcmd-run-command.c b/src/plugins/shellcmd/gbp-shellcmd-run-command.c
index 5d09581c6..3d980cf30 100644
--- a/src/plugins/shellcmd/gbp-shellcmd-run-command.c
+++ b/src/plugins/shellcmd/gbp-shellcmd-run-command.c
@@ -384,7 +384,7 @@ gbp_shellcmd_run_command_create_launcher (GbpShellcmdRunCommand *self,
                              NULL);
 
   ide_subprocess_launcher_set_cwd (launcher, cwd_expanded);
-  ide_subprocess_launcher_set_argv (launcher, argv);
+  ide_subprocess_launcher_push_args (launcher, argv);
   ide_subprocess_launcher_set_environ (launcher, env);
 
   return ide_terminal_launcher_new_for_launcher (launcher);