diff options
Diffstat (limited to 'Ports')
| -rwxr-xr-x | Ports/.port_include.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Ports/.port_include.sh b/Ports/.port_include.sh index fd6f7dff7a..561b70e384 100755 --- a/Ports/.port_include.sh +++ b/Ports/.port_include.sh @@ -69,6 +69,7 @@ shift : "${launcher_name:=}" : "${launcher_category:=}" : "${launcher_command:=}" +: "${launcher_run_in_terminal:=false}" : "${icon_file:=}" run_nocd() { @@ -167,6 +168,7 @@ SCRIPT Name=$launcher_name Executable=$launcher_executable Category=$launcher_category +RunInTerminal=$launcher_run_in_terminal CONFIG unset launcher_filename } |