File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 1717 "kind" : " build" ,
1818 "isDefault" : false
1919 }
20+ },
21+ {
22+ "label" : " Init Git Submodules (non-recursive)" ,
23+ "type" : " shell" ,
24+ "command" : " git submodule update --init" ,
25+ "group" : {
26+ "kind" : " build" ,
27+ "isDefault" : false
28+ }
29+ },
30+ {
31+ "label" : " Platformio Remote: Initalzie Remote Agent" ,
32+ "type" : " shell" ,
33+ "command" : " pio remote agent start" ,
34+ "group" : {
35+ "kind" : " build" ,
36+ "isDefault" : false
37+ },
38+ "hide" : true
39+ },
40+ {
41+ "label" : " Platformio Remote: Build & Upload (GitHub Codespaces)" ,
42+ "type" : " shell" ,
43+ "command" : " /home/codespace/.platformio/penv/bin/pio remote run -t upload" ,
44+ "group" : {
45+ "kind" : " build" ,
46+ "isDefault" : false
47+ }
48+ },
49+ {
50+ "label" : " Platformio Remote: Monitor (GitHub Codespaces)" ,
51+ "type" : " shell" ,
52+ "command" : " /home/codespace/.platformio/penv/bin/pio remote run -t monitor" ,
53+ "group" : {
54+ "kind" : " build" ,
55+ "isDefault" : false
56+ },
57+ "hide" : true
58+ },
59+ {
60+ "label" : " Platformio Remote: Build, Upload & Monitor (GitHub Codespaces)" ,
61+ "type" : " shell" ,
62+ "dependsOn" : [
63+ " Platformio Remote: Build & Upload (GitHub Codespaces)" ,
64+ " Platformio Remote: Monitor (GitHub Codespaces)"
65+ ],
66+ "dependsOrder" : " sequence" ,
67+ "group" : {
68+ "kind" : " build" ,
69+ "isDefault" : false
70+ },
71+ "hide" : true
2072 }
2173 ]
2274}
You can’t perform that action at this time.
0 commit comments