diff options
author | Linus Groh <mail@linusgroh.de> | 2021-07-19 22:06:09 +0100 |
---|---|---|
committer | Linus Groh <mail@linusgroh.de> | 2021-07-20 00:58:26 +0100 |
commit | 6b9e0d98d91a64d84d8268add938c441a7ed4f76 (patch) | |
tree | d7046dfe0ca92c3e33b168ea1ea647557d73d4c8 /Ports | |
parent | 37cc110003bea759f24ec515b911ed951d5cffa3 (diff) | |
download | serenity-6b9e0d98d91a64d84d8268add938c441a7ed4f76.zip |
Ports: Add launcher_run_in_terminal package.sh variable
This is being used to generate the RunInTerminal entry in launcher app
files.
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 } |