Fix network settings uneditable with config command (arduino#1288)

MatteoPologruto · May 13, 2021 · b1764d1 · b1764d1
1 parent da658ab
commit b1764d1
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/cli/config/validate.go b/cli/config/validate.go
@@ -33,6 +33,8 @@ var validMap = map[string]reflect.Kind{
 	"sketch.always_export_binaries": reflect.Bool,
 	"metrics.addr":                  reflect.String,
 	"metrics.enabled":               reflect.Bool,
+	"network.proxy":                 reflect.String,
+	"network.user_agent_ext":        reflect.String,
 }
 
 func typeOf(key string) (reflect.Kind, error) {