mirror of
https://github.com/paparazzi/paparazzi.git
synced 2026-05-29 19:17:28 +08:00
[pprz center] possibility to launch global commans from tools using $ prefix
This commit is contained in:
@@ -71,6 +71,8 @@
|
|||||||
<arg flag="-b" variable="ivy_bus"/>
|
<arg flag="-b" variable="ivy_bus"/>
|
||||||
</program>
|
</program>
|
||||||
|
|
||||||
|
<program name="Http Server" command="$python -m SimpleHTTPServer 8889"/>
|
||||||
|
|
||||||
<program name="Plot Meteo Profile" command="sw/logalizer/plotprofile"/>
|
<program name="Plot Meteo Profile" command="sw/logalizer/plotprofile"/>
|
||||||
|
|
||||||
<program name="Weather Station" command="sw/ground_segment/misc/davis2ivy">
|
<program name="Weather Station" command="sw/ground_segment/misc/davis2ivy">
|
||||||
|
|||||||
@@ -42,6 +42,8 @@ let program_command = fun x ->
|
|||||||
let cmd = ExtXml.attrib xml "command" in
|
let cmd = ExtXml.attrib xml "command" in
|
||||||
if cmd.[0] = '/' then
|
if cmd.[0] = '/' then
|
||||||
cmd
|
cmd
|
||||||
|
else if cmd.[0] = '$' then
|
||||||
|
String.sub cmd 1 ((String.length cmd) - 1)
|
||||||
else
|
else
|
||||||
Env.paparazzi_src // cmd
|
Env.paparazzi_src // cmd
|
||||||
with Not_found ->
|
with Not_found ->
|
||||||
|
|||||||
Reference in New Issue
Block a user