Skip to content

Commit 381b357

Browse files
committed
Deployed 5968346 to dev with MkDocs 1.3.0 and mike 1.1.2
1 parent bfa950d commit 381b357

File tree

6 files changed

+119
-81
lines changed

6 files changed

+119
-81
lines changed

dev/configuration.schema.json

Lines changed: 31 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -38,16 +38,8 @@
3838
},
3939
"ttl": {
4040
"description": "cache expiration time of build folders. If the cache is hit by a compilation the corresponding build files lifetime is renewed. The value format must be a valid input for time.ParseDuration(), defaults to `720h` (30 days)",
41-
"oneOf": [
42-
{
43-
"type": "integer",
44-
"minimum": 0
45-
},
46-
{
47-
"type": "string",
48-
"pattern": "^\\+?([0-9]?\\.?[0-9]+(([nuµm]?s)|m|h))+$"
49-
}
50-
]
41+
"type": "string",
42+
"pattern": "^[+-]?(([0-9]+(\\.[0-9]*)?|(\\.[0-9]+))(ns|us|µs|μs|ms|s|m|h))+$"
5143
}
5244
},
5345
"type": "object"
@@ -146,6 +138,35 @@
146138
},
147139
"type": "object"
148140
},
141+
"network": {
142+
"description": "settings related to network connections.",
143+
"type": "object",
144+
"properties": {
145+
"proxy": {
146+
"description": "proxy settings for network connections.",
147+
"type": "string"
148+
},
149+
"user_agent_ext": {
150+
"description": "extra string to append to the user agent string in HTTP requests.",
151+
"type": "string"
152+
},
153+
"connection_timeout": {
154+
"description": "timeout for network connections, defaults to '30s'",
155+
"type": "string",
156+
"pattern": "^[+-]?(([0-9]+(\\.[0-9]*)?|(\\.[0-9]+))(ns|us|µs|μs|ms|s|m|h))+$"
157+
},
158+
"cloud_api": {
159+
"description": "settings related to the Arduino Cloud API.",
160+
"type": "object",
161+
"properties": {
162+
"skip_board_detection_calls": {
163+
"description": "do not call the Arduino Cloud API to detect an unknown board",
164+
"type": "boolean"
165+
}
166+
}
167+
}
168+
}
169+
},
149170
"output": {
150171
"description": "settings related to text output.",
151172
"properties": {

dev/configuration/index.html

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1632,6 +1632,11 @@ <h2 id="configuration-keys">Configuration keys<a class="headerlink" href="#confi
16321632
</li>
16331633
<li><code>network</code> - configuration options related to the network connection.<ul>
16341634
<li><code>proxy</code> - URL of the proxy server.</li>
1635+
<li><code>connection_timeout</code> - network connection timeout, the value format must be a valid input for
1636+
<a href="https://pkg.go.dev/time#ParseDuration">time.ParseDuration()</a>, defaults to <code>60s</code> (60 seconds). <code>0</code> means it will
1637+
wait indefinitely.</li>
1638+
<li><code>cloud_api.skip_board_detection_calls</code> - if set to <code>true</code> it will make the Arduino CLI skip network calls to Arduino
1639+
Cloud API to help detection of an unknown board.</li>
16351640
</ul>
16361641
</li>
16371642
</ul>

dev/rpc/commands/index.html

Lines changed: 12 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -5762,6 +5762,12 @@ <h3 id="boardlistrequest">BoardListRequest<a class="headerlink" href="#boardlist
57625762
<td></td>
57635763
<td>The fully qualified board name of the board you want information about (e.g., <code>arduino:avr:uno</code>).</td>
57645764
</tr>
5765+
<tr>
5766+
<td>skip_cloud_api_for_board_detection</td>
5767+
<td><a href="#bool">bool</a></td>
5768+
<td></td>
5769+
<td>If set to true, when a board cannot be identified using the installed platforms, the cloud API will not be called to detect the board.</td>
5770+
</tr>
57655771
</tbody>
57665772
</table>
57675773
<p><a name="cc.arduino.cli.commands.v1.BoardListResponse"></a></p>
@@ -5808,6 +5814,12 @@ <h3 id="boardlistwatchrequest">BoardListWatchRequest<a class="headerlink" href="
58085814
<td></td>
58095815
<td>Arduino Core Service instance from the <code>Init</code> response.</td>
58105816
</tr>
5817+
<tr>
5818+
<td>skip_cloud_api_for_board_detection</td>
5819+
<td><a href="#bool">bool</a></td>
5820+
<td></td>
5821+
<td>If set to true, when a board cannot be identified using the installed platforms, the cloud API will not be called to detect the board.</td>
5822+
</tr>
58115823
</tbody>
58125824
</table>
58135825
<p><a name="cc.arduino.cli.commands.v1.BoardListWatchResponse"></a></p>

dev/search/search_index.json

Lines changed: 1 addition & 1 deletion
Large diffs are not rendered by default.

0 commit comments

Comments
 (0)