Skip to content
Commit 9279c8e9 authored by Aleix Pol Gonzalez's avatar Aleix Pol Gonzalez 🐧
Browse files

execute: remember the option to kill a process that is already running

We have the feature to kill the currently executed process as we run it.
This patch allows to remember the selection as I've seen myself doing
the same over and over again for different projects.

It leaves the same default behaviour and also adds an option in the
configuration dialog in case we need to change it back for some reason.
parent 3f66ae9f
Pipeline #23683 passed with stage
in 34 minutes and 35 seconds
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment