Network configuration items can't be unset #1677

butor32 · 2021-11-18T07:29:59Z

Describe the problem

If you set the network.proxy key (e.g., via the "Network" tab of the Arduino IDE preferences dialog), then during a later IDE session try to disable the proxy preference, Arduino CLI continues to attempt to connect to the Internet via a proxy.

To reproduce

Select File > Preferences... from the Arduino IDE menus.
Select the "Network" tab from the "Preferences" dialog.
Select the radio button next to "Manual proxy configuration".
Click the "OK" button.
Select File > Quit from the Arduino IDE menus.
Start Arduino IDE.
Select File > Preferences... from the Arduino IDE menus.
Select the "Network" tab from the "Preferences" dialog.
Select the radio button next to "No proxy".
Click the "OK" button.
Select File > Quit from the Arduino IDE menus.
Start Arduino IDE.
Select File > Preferences... from the Arduino IDE menus.
Select the "Network" tab from the "Preferences" dialog.

🐛 The "Manual proxy configuration" radio button is selected.
🐛 When Arduino CLI attempts to download resources from the Internet, an error like "proxyconnect tcp: dial tcp: lookup _: no such host" occurs.

Expected behavior

It is possible to disable the proxy after enabling it.

Arduino CLI version

0.29.0

Operating system

Linux
Windows

Operating system version

Windows 11
Debian Bullseye

Additional context

The network.proxy key in ~/.arduinoIDE/arduino-cli.yaml is set to http://_/

Workaround

Select File > Quit from the Arduino IDE menus if it is running.
Use any text editor to open the file at the following path:
- Windows:
```
C:\Users\<username>\.arduinoIDE\arduino-cli.yaml
```
  (where <username> is your Windows username)
- Linux:
```
~/.arduinoIDE/arduino-cli.yaml
```
  ❗ The ~/.arduinoIDE/ folder may be hidden by default in your file manager and terminal.
- macOS:
```
~/.arduinoIDE/arduino-cli.yaml
```
  ❗ The ~/.arduinoIDE/ folder is hidden by default. You can make it visible by pressing the Command+Shift+. keyboard shortcut.

Delete the lines from the file that have this format:

network:
  proxy: <some proxy URL>
  user_agent_ext: daemon

Save the file.
Start the Arduino IDE.

You should now find that "No proxy" is selected in the "Network" tab of the "Preferences" dialog.

Additional reports

Issue checklist

I searched for previous reports in the issue tracker
I verified the problem still occurs when using the nightly build
My report contains all necessary details

The text was updated successfully, but these errors were encountered:

per1234 · 2022-02-27T10:46:38Z

Thanks for the report @butor32!

I was able to reproduce the issue directly via the Arduino CLI gRPC interface (using the excellent grpcurl tool), so I have now transferred this issue to the arduino/arduino-cli repository.

Setup

$ arduino-cli version
arduino-cli.exe  Version: git-snapshot Commit: 2f2cbe23 Date: 2022-02-27T08:01:17Z

$ arduino-cli config set network.proxy foo  # set an arbitrary initial `network.proxy` configuration key value

$ arduino-cli daemon

Reproduce issue via the gRPC interface

$ grpcurl \
  -plaintext \
  -import-path ./rpc \
  -proto cc/arduino/cli/settings/v1/settings.proto \
  127.0.0.1:50051 \
  cc.arduino.cli.settings.v1.SettingsService.GetAll

{
  "jsonData": "{\"board_manager\":{\"additional_urls\":[]},\"daemon\":{\"port\":\"50051\"},\"directories\":{\"data\":\"C:\\\\Users\\\\per\\\\AppData\\\\Local\\\\Arduino15\",\"downloads\":\"C:\\\\Users\\\\per\\\\AppData\\\\Local\\\\Arduino15\\\\staging\",\"user\":\"C:\\\\Users\\\\per\\\\Documents\\\\Arduino\"},\"library\":{\"enable_unsafe_install\":false},\"logging\":{\"file\":\"\",\"format\":\"text\",\"level\":\"info\"},\"metrics\":{\"addr\":\":9090\",\"enabled\":true},\"network\":{\"proxy\":\"foo\",\"user_agent_ext\":\"daemon\"},\"output\":{\"no_color\":false},\"sketch\":{\"always_export_binaries\":false},\"updater\":{\"enable_notification\":true}}"
}

🙂 The network key is set to {"proxy": "foo"}, as expected.

$ grpcurl \
  -plaintext \
  -import-path ./rpc \
  -proto cc/arduino/cli/settings/v1/settings.proto \
  -d '{"key": "network", "json_data": "{}"}' \
  127.0.0.1:50051 \
  cc.arduino.cli.settings.v1.SettingsService.SetValue

{

}

$ grpcurl \
  -plaintext \
  -import-path ./rpc \
  -proto cc/arduino/cli/settings/v1/settings.proto \
  127.0.0.1:50051 \
  cc.arduino.cli.settings.v1.SettingsService.GetAll

{
  "jsonData": "{\"board_manager\":{\"additional_urls\":[]},\"daemon\":{\"port\":\"50051\"},\"directories\":{\"data\":\"C:\\\\Users\\\\per\\\\AppData\\\\Local\\\\Arduino15\",\"downloads\":\"C:\\\\Users\\\\per\\\\AppData\\\\Local\\\\Arduino15\\\\staging\",\"user\":\"C:\\\\Users\\\\per\\\\Documents\\\\Arduino\"},\"library\":{\"enable_unsafe_install\":false},\"logging\":{\"file\":\"\",\"format\":\"text\",\"level\":\"info\"},\"metrics\":{\"addr\":\":9090\",\"enabled\":true},\"network\":{\"proxy\":\"foo\"},\"output\":{\"no_color\":false},\"sketch\":{\"always_export_binaries\":false},\"updater\":{\"enable_notification\":true}}"
}

🐛 The network key was not set to {} according to the cc.arduino.cli.settings.v1.SettingsService.SetValue request as expected.

$ grpcurl \
  -plaintext \
  -import-path ./rpc \
  -proto cc/arduino/cli/settings/v1/settings.proto \
  -d '{"key": "network", "json_data": "{\"proxy\": \"bar\"}"}' \
  127.0.0.1:50051 \
  cc.arduino.cli.settings.v1.SettingsService.SetValue

{

}

$ grpcurl \
  -plaintext \
  -import-path ./rpc \
  -proto cc/arduino/cli/settings/v1/settings.proto \
  127.0.0.1:50051 \
  cc.arduino.cli.settings.v1.SettingsService.GetAll

{
  "jsonData": "{\"board_manager\":{\"additional_urls\":[]},\"daemon\":{\"port\":\"50051\"},\"directories\":{\"data\":\"C:\\\\Users\\\\per\\\\AppData\\\\Local\\\\Arduino15\",\"downloads\":\"C:\\\\Users\\\\per\\\\AppData\\\\Local\\\\Arduino15\\\\staging\",\"user\":\"C:\\\\Users\\\\per\\\\Documents\\\\Arduino\"},\"library\":{\"enable_unsafe_install\":false},\"logging\":{\"file\":\"\",\"format\":\"text\",\"level\":\"info\"},\"metrics\":{\"addr\":\":9090\",\"enabled\":true},\"network\":{\"proxy\":\"bar\"},\"output\":{\"no_color\":false},\"sketch\":{\"always_export_binaries\":false},\"updater\":{\"enable_notification\":true}}"
}

🙂 The network key was set to {"proxy": "bar"} as expected.

$ grpcurl \
  -plaintext \
  -import-path ./rpc \
  -proto cc/arduino/cli/settings/v1/settings.proto \
  -d '{"key": "network", "json_data": "{}"}' \
  127.0.0.1:50051 \
  cc.arduino.cli.settings.v1.SettingsService.SetValue

{

}

$ grpcurl \
  -plaintext \
  -import-path ./rpc \
  -proto cc/arduino/cli/settings/v1/settings.proto \
  127.0.0.1:50051 \
  cc.arduino.cli.settings.v1.SettingsService.GetAll

{
  "jsonData": "{\"board_manager\":{\"additional_urls\":[]},\"daemon\":{\"port\":\"50051\"},\"directories\":{\"data\":\"C:\\\\Users\\\\per\\\\AppData\\\\Local\\\\Arduino15\",\"downloads\":\"C:\\\\Users\\\\per\\\\AppData\\\\Local\\\\Arduino15\\\\staging\",\"user\":\"C:\\\\Users\\\\per\\\\Documents\\\\Arduino\"},\"library\":{\"enable_unsafe_install\":false},\"logging\":{\"file\":\"\",\"format\":\"text\",\"level\":\"info\"},\"metrics\":{\"addr\":\":9090\",\"enabled\":true},\"network\":{\"proxy\":\"foo\"},\"output\":{\"no_color\":false},\"sketch\":{\"always_export_binaries\":false},\"updater\":{\"enable_notification\":true}}"
}

🐛 The network key reverted to the previous {"proxy": "foo"}, rather than being set to {} according to the cc.arduino.cli.settings.v1.SettingsService.SetValue request.

Workaround

I will share the workaround for this issue:

Select File > Quit from the Arduino IDE menus if it is running.
Use any text editor to open the file at the following path:
- Windows:
```
C:\Users\<username>\.arduinoIDE\arduino-cli.yaml
```
- Linux:
```
~/.arduinoIDE/arduino-cli.yaml
```
- macOS:
```
~/.arduinoIDE/arduino-cli.yaml
```
❗ The .arduinoIDE folder may be hidden by default by your operating system.

Delete the lines from the file that have this format:

network:
  proxy: http://pippo:pluto@example.com:1234/
  user_agent_ext: daemon

Save the file.
Start the Arduino IDE.

You should now find that "No proxy" is selected in the "Network" tab of the "Preferences" dialog.

per1234 · 2022-08-29T06:51:42Z

Thanks to the recently added enhanced logging capabilities of Arduino IDE 2.x, I can now see that my use of cc.arduino.cli.settings.v1.SettingsService.SetValue in the previous demo was incorrect because Arduino IDE is instead using the cc.arduino.cli.settings.v1.SettingsService.Merge method.

This is the relevant log output from trying to set "No proxy" in the Arduino IDE 2.0.0-rc9.2.snapshot-34a7fdb preferences:

2022-08-28 22:31:32 daemon INFO 69 CALLED: /cc.arduino.cli.settings.v1.SettingsService/Merge
69 |  REQ:  {
69 |    "json_data": "{\n  \"board_manager\": {\n    \"additional_urls\": []\n  },\n  \"daemon\": {\n    \"port\": \"50051\"\n  },\n  \"directories\": {\n    \"data\": \"c:\\\\Users\\\\per\\\\AppData\\\\Local\\\\Arduino15\",\n    \"user\": \"c:\\\\Users\\\\per\\\\Documents\\\\Arduino\"\n  },\n  \"ide\": {\n    \"bundled\": false,\n    \"portable\": false\n  },\n  \"library\": {\n    \"enable_unsafe_install\": false\n  },\n  \"locale\": \"en\",\n  \"logging\": {\n    \"file\": \"\",\n    \"format\": \"text\",\n    \"level\": \"info\"\n  },\n  \"metrics\": {\n    \"addr\": \":9090\",\n    \"enabled\": true\n  },\n  \"network\": {},\n  \"output\": {\n    \"no_color\": false\n  },\n  \"sketch\": {\n    \"always_export_binaries\": false\n  },\n  \"updater\": {\n    \"enable_notification\": true\n  }\n}"
69 |  }
69 |  RESP: {}
69 CALL END

(note also the \"network\": {})

Setup

$ arduino-cli version
arduino-cli.exe  Version: git-snapshot Commit: aa41d72e Date: 2022-08-29T05:36:08Z

$ arduino-cli config init
Config file written to: C:\Users\per\AppData\Local\Arduino15\arduino-cli.yaml

$ arduino-cli config set network.proxy foo  # set an arbitrary initial `network.proxy` configuration key value

$ arduino-cli daemon
Daemon is now listening on 127.0.0.1:50051

Reproduce issue via the gRPC interface

$ grpcurl \
  -plaintext \
  -import-path ./rpc \
  -proto cc/arduino/cli/settings/v1/settings.proto \
  127.0.0.1:50051 \
  cc.arduino.cli.settings.v1.SettingsService.GetAll

{
  "jsonData": "{\"board_manager\":{\"additional_urls\":[]},\"daemon\":{\"port\":\"50051\"},\"directories\":{\"data\":\"C:\\\\Users\\\\per\\\\AppData\\\\Local\\\\Arduino15\",\"downloads\":\"C:\\\\Users\\\\per\\\\AppData\\\\Local\\\\Arduino15\\\\staging\",\"user\":\"C:\\\\Users\\\\per\\\\Documents\\\\Arduino\"},\"library\":{\"enable_unsafe_install\":false},\"logging\":{\"file\":\"\",\"format\":\"text\",\"level\":\"info\"},\"metrics\":{\"addr\":\":9090\",\"enabled\":true},\"network\":{\"proxy\":\"foo\",\"user_agent_ext\":\"daemon\"},\"output\":{\"no_color\":false},\"sketch\":{\"always_export_binaries\":false},\"updater\":{\"enable_notification\":true}}"
}

🙂 The network key value is as expected.

$ grpcurl \
  -plaintext \
  -import-path ./rpc \
  -proto cc/arduino/cli/settings/v1/settings.proto \
  -d '{"json_data": "{\"network\": {}}"}' \
  127.0.0.1:50051 \
  cc.arduino.cli.settings.v1.SettingsService.Merge

{

}

$ grpcurl \
  -plaintext \
  -import-path ./rpc \
  -proto cc/arduino/cli/settings/v1/settings.proto \
  127.0.0.1:50051 \
  cc.arduino.cli.settings.v1.SettingsService.GetAll

{
  "jsonData": "{\"board_manager\":{\"additional_urls\":[]},\"daemon\":{\"port\":\"50051\"},\"directories\":{\"data\":\"C:\\\\Users\\\\per\\\\AppData\\\\Local\\\\Arduino15\",\"downloads\":\"C:\\\\Users\\\\per\\\\AppData\\\\Local\\\\Arduino15\\\\staging\",\"user\":\"C:\\\\Users\\\\per\\\\Documents\\\\Arduino\"},\"library\":{\"enable_unsafe_install\":false},\"logging\":{\"file\":\"\",\"format\":\"text\",\"level\":\"info\"},\"metrics\":{\"addr\":\":9090\",\"enabled\":true},\"network\":{\"proxy\":\"foo\"},\"output\":{\"no_color\":false},\"sketch\":{\"always_export_binaries\":false},\"updater\":{\"enable_notification\":true}}"
}

🐛 The network key was not set to {} according to the cc.arduino.cli.settings.v1.SettingsService.Merge request as expected.

😕 The network.user_agent_ext key is no longer present though.

$ grpcurl \
  -plaintext \
  -import-path ./rpc \
  -proto cc/arduino/cli/settings/v1/settings.proto \
  -d '{"json_data": "{\"network\": {\"proxy\":\"bar\"}}"}' \
  127.0.0.1:50051 \
  cc.arduino.cli.settings.v1.SettingsService.Merge

{

}

$ grpcurl \
  -plaintext \
  -import-path ./rpc \
  -proto cc/arduino/cli/settings/v1/settings.proto \
  127.0.0.1:50051 \
  cc.arduino.cli.settings.v1.SettingsService.GetAll

{
  "jsonData": "{\"board_manager\":{\"additional_urls\":[]},\"daemon\":{\"port\":\"50051\"},\"directories\":{\"data\":\"C:\\\\Users\\\\per\\\\AppData\\\\Local\\\\Arduino15\",\"downloads\":\"C:\\\\Users\\\\per\\\\AppData\\\\Local\\\\Arduino15\\\\staging\",\"user\":\"C:\\\\Users\\\\per\\\\Documents\\\\Arduino\"},\"library\":{\"enable_unsafe_install\":false},\"logging\":{\"file\":\"\",\"format\":\"text\",\"level\":\"info\"},\"metrics\":{\"addr\":\":9090\",\"enabled\":true},\"network\":{\"proxy\":\"bar\"},\"output\":{\"no_color\":false},\"sketch\":{\"always_export_binaries\":false},\"updater\":{\"enable_notification\":true}}"
}

🙂 The network key was set to {"proxy": "bar"} as expected.

$ grpcurl \
  -plaintext \
  -import-path ./rpc \
  -proto cc/arduino/cli/settings/v1/settings.proto \
  -d '{"json_data": "{\"network\": {}}"}' \
  127.0.0.1:50051 \
  cc.arduino.cli.settings.v1.SettingsService.Merge

{

}

$ grpcurl \
  -plaintext \
  -import-path ./rpc \
  -proto cc/arduino/cli/settings/v1/settings.proto \
  127.0.0.1:50051 \
  cc.arduino.cli.settings.v1.SettingsService.GetAll

{
  "jsonData": "{\"board_manager\":{\"additional_urls\":[]},\"daemon\":{\"port\":\"50051\"},\"directories\":{\"data\":\"C:\\\\Users\\\\per\\\\AppData\\\\Local\\\\Arduino15\",\"downloads\":\"C:\\\\Users\\\\per\\\\AppData\\\\Local\\\\Arduino15\\\\staging\",\"user\":\"C:\\\\Users\\\\per\\\\Documents\\\\Arduino\"},\"library\":{\"enable_unsafe_install\":false},\"logging\":{\"file\":\"\",\"format\":\"text\",\"level\":\"info\"},\"metrics\":{\"addr\":\":9090\",\"enabled\":true},\"network\":{\"proxy\":\"foo\"},\"output\":{\"no_color\":false},\"sketch\":{\"always_export_binaries\":false},\"updater\":{\"enable_notification\":true}}"
}

🐛 The network key reverted to the previous {"proxy": "foo"}, rather than being set to {} according to the cc.arduino.cli.settings.v1.SettingsService.Merge request.

The odd thing is this was reported previously and then closed as fixed: #1161

I notice it appears to be more of a "half fix" because it only addressed the bug in the Merge method, disregarding that the report was also about the SetValue method. But for the purposes of this problem with Arduino IDE 2.x, we only need to be concerned with the Merge method, since that is the only one in use.

This bug would give the impression there was a regression at some point after that fix. However, I have the same problems even using the Arduino CLI build from the very commit that made the fix. I also notice that the integration test assertion is not as I would expect:

arduino-cli/commands/daemon/settings_test.go

Lines 65 to 70 in fa478dd

    
           bulkSettings = `{"foo":"", "daemon": {}, "sketch": {"always_export_binaries": "false"}}` 
        
           res, err = svc.Merge(context.Background(), &rpc.RawData{JsonData: bulkSettings}) 
        
           require.NotNil(t, res) 
        
           require.NoError(t, err) 
        
           require.Equal(t, "50051", configuration.Settings.GetString("daemon.port"))

Why should the value of daemon.port be expected to be "50051" if the daemon key was just set to {}???

$ git log -1 --oneline

fa478dd9 (HEAD) gpg: Signature made Tue Feb  2 08:41:13 2021 PST
gpg:                using RSA key 4AEE18F83AFDEB23
gpg: Can't check signature: No public key
Fix gRPC interface function to merge configs (#1164)

$ arduino-cli daemon

$ grpcurl \
  -plaintext \
  -import-path ./rpc \
  -proto settings/settings.proto \
  127.0.0.1:50051 \
  cc.arduino.cli.settings.Settings.GetAll

{
  "jsonData": "{\"board_manager\":{\"additional_urls\":[]},\"daemon\":{\"port\":\"50051\"},\"directories\":{\"data\":\"C:\\\\Users\\\\per\\\\AppData\\\\Local\\\\Arduino15\",\"downloads\":\"C:\\\\Users\\\\per\\\\AppData\\\\Local\\\\Arduino15\\\\staging\",\"user\":\"C:\\\\Users\\\\per\\\\Documents\\\\Arduino\"},\"library\":{\"enable_unsafe_install\":false},\"logging\":{\"file\":\"\",\"format\":\"text\",\"level\":\"info\"},\"metrics\":{\"addr\":\":9090\",\"enabled\":true},\"network\":{\"proxy\":\"foo\",\"user_agent_ext\":\"daemon\"},\"output\":{\"no_color\":false},\"sketch\":{\"always_export_binaries\":false},\"updater\":{\"enable_notification\":true}}"
}

🙂 The network key value is as expected.

$ grpcurl \
  -plaintext \
  -import-path ./rpc \
  -proto settings/settings.proto \
  -d '{"jsonData": "{\"network\": {}}"}' \
  127.0.0.1:50051 \
  cc.arduino.cli.settings.Settings.Merge

{

}

$ grpcurl \
  -plaintext \
  -import-path ./rpc \
  -proto settings/settings.proto \
  127.0.0.1:50051 \
  cc.arduino.cli.settings.Settings.GetAll

{
  "jsonData": "{\"board_manager\":{\"additional_urls\":[]},\"daemon\":{\"port\":\"50051\"},\"directories\":{\"data\":\"C:\\\\Users\\\\per\\\\AppData\\\\Local\\\\Arduino15\",\"downloads\":\"C:\\\\Users\\\\per\\\\AppData\\\\Local\\\\Arduino15\\\\staging\",\"user\":\"C:\\\\Users\\\\per\\\\Documents\\\\Arduino\"},\"library\":{\"enable_unsafe_install\":false},\"logging\":{\"file\":\"\",\"format\":\"text\",\"level\":\"info\"},\"metrics\":{\"addr\":\":9090\",\"enabled\":true},\"network\":{\"proxy\":\"foo\"},\"output\":{\"no_color\":false},\"sketch\":{\"always_export_binaries\":false},\"updater\":{\"enable_notification\":true}}"
}

🐛 The network key was not set to {} according to the cc.arduino.cli.settings.Settings.Merge request as expected.

😕 The network.user_agent_ext key is no longer present though...

$ grpcurl \
  -plaintext \
  -import-path ./rpc \
  -proto settings/settings.proto \
  -d '{"jsonData": "{\"network\": {\"proxy\":\"bar\"}}"}' \
  127.0.0.1:50051 \
  cc.arduino.cli.settings.Settings.Merge

{

}

$ grpcurl \
  -plaintext \
  -import-path ./rpc \
  -proto settings/settings.proto \
  127.0.0.1:50051 \
  cc.arduino.cli.settings.Settings.GetAll

{
  "jsonData": "{\"board_manager\":{\"additional_urls\":[]},\"daemon\":{\"port\":\"50051\"},\"directories\":{\"data\":\"C:\\\\Users\\\\per\\\\AppData\\\\Local\\\\Arduino15\",\"downloads\":\"C:\\\\Users\\\\per\\\\AppData\\\\Local\\\\Arduino15\\\\staging\",\"user\":\"C:\\\\Users\\\\per\\\\Documents\\\\Arduino\"},\"library\":{\"enable_unsafe_install\":false},\"logging\":{\"file\":\"\",\"format\":\"text\",\"level\":\"info\"},\"metrics\":{\"addr\":\":9090\",\"enabled\":true},\"network\":{\"proxy\":\"bar\"},\"output\":{\"no_color\":false},\"sketch\":{\"always_export_binaries\":false},\"updater\":{\"enable_notification\":true}}"
}

🙂 The network key was set to {"proxy": "bar"} as expected.

$ grpcurl \
  -plaintext \
  -import-path ./rpc \
  -proto settings/settings.proto \
  -d '{"jsonData": "{\"network\": {}}"}' \
  127.0.0.1:50051 \
  cc.arduino.cli.settings.Settings.Merge

{

}

$ grpcurl \
  -plaintext \
  -import-path ./rpc \
  -proto settings/settings.proto \
  127.0.0.1:50051 \
  cc.arduino.cli.settings.Settings.GetAll

{
  "jsonData": "{\"board_manager\":{\"additional_urls\":[]},\"daemon\":{\"port\":\"50051\"},\"directories\":{\"data\":\"C:\\\\Users\\\\per\\\\AppData\\\\Local\\\\Arduino15\",\"downloads\":\"C:\\\\Users\\\\per\\\\AppData\\\\Local\\\\Arduino15\\\\staging\",\"user\":\"C:\\\\Users\\\\per\\\\Documents\\\\Arduino\"},\"library\":{\"enable_unsafe_install\":false},\"logging\":{\"file\":\"\",\"format\":\"text\",\"level\":\"info\"},\"metrics\":{\"addr\":\":9090\",\"enabled\":true},\"network\":{\"proxy\":\"foo\"},\"output\":{\"no_color\":false},\"sketch\":{\"always_export_binaries\":false},\"updater\":{\"enable_notification\":true}}"
}

🐛 The network key reverted to the previous {"proxy": "foo"}, rather than being set to {} according to the cc.arduino.cli.settings.Settings.Merge request.

butor32 added the type: imperfection Perceived defect in any part of project label Nov 18, 2021

per1234 added the topic: code Related to content of the project itself label Nov 18, 2021

per1234 assigned fstasi Nov 18, 2021

This comment was marked as off-topic.

# to view

per1234 added the topic: CLI Related to the command line interface label Feb 27, 2022

per1234 assigned umbynos and unassigned fstasi Feb 27, 2022

per1234 transferred this issue from arduino/arduino-ide Mar 1, 2022

per1234 added topic: gRPC Related to the gRPC interface and removed topic: CLI Related to the command line interface labels Mar 1, 2022

per1234 mentioned this issue Aug 29, 2022

not recoverable PROXY Settings arduino/arduino-ide#1363

Closed

3 tasks

per1234 mentioned this issue Sep 29, 2022

Provide proxy settings auto-detection option arduino/arduino-ide#29

Open

per1234 changed the title ~~Preferences Proxy change not worked~~ Network configuration items can't be unset Nov 16, 2022

per1234 mentioned this issue Dec 21, 2022

Remove trailing colon when parsing the protocol from URL arduino/arduino-ide#1778

Merged

4 tasks

umbynos assigned cmaglie and unassigned umbynos Feb 2, 2023

kittaakos mentioned this issue May 2, 2023

Network settings cannot be changed arduino/arduino-ide#2040

Closed

3 tasks

umbynos assigned MatteoPologruto Jun 7, 2023

MatteoPologruto linked a pull request Jun 13, 2023 that will close this issue

Add Delete command to gRPC #2212

Merged

6 tasks

MatteoPologruto closed this as completed in #2212 Jun 27, 2023

per1234 mentioned this issue Aug 22, 2023

Proxy configuration can't be unset arduino/arduino-ide#2184

Closed

3 tasks

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Network configuration items can't be unset #1677

Network configuration items can't be unset #1677

butor32 commented Nov 18, 2021 •

edited by per1234

Loading

This comment was marked as off-topic.

per1234 commented Feb 27, 2022 •

edited

Loading

per1234 commented Aug 29, 2022

Network configuration items can't be unset #1677

Network configuration items can't be unset #1677

Comments

butor32 commented Nov 18, 2021 • edited by per1234 Loading

Describe the problem

To reproduce

Expected behavior

Arduino CLI version

Operating system

Operating system version

Additional context

Workaround

Additional reports

Issue checklist

This comment was marked as off-topic.

per1234 commented Feb 27, 2022 • edited Loading

Setup

Reproduce issue via the gRPC interface

Workaround

per1234 commented Aug 29, 2022

Setup

Reproduce issue via the gRPC interface

butor32 commented Nov 18, 2021 •

edited by per1234

Loading

per1234 commented Feb 27, 2022 •

edited

Loading