6815dd8b2f
This diff includes a rule to recover from the "measurement failed" state that kicks in when we have a chain of successful redirects from the client side leading to a webpage _and_ any URL in the chain uses HTTPS. See https://github.com/ooni/probe/issues/2307. While there, fix `i/e/w/iox.go` to avoid triggering the `./script/nocopyreadall.bash` script.
11 lines
231 B
JSON
11 lines
231 B
JSON
{
|
|
"python.formatting.provider": "black",
|
|
"gopls": {
|
|
"build.directoryFilters": [
|
|
"-GOCACHE",
|
|
"-GOPATH"
|
|
]
|
|
},
|
|
"C_Cpp.default.configurationProvider": "ms-vscode.makefile-tools"
|
|
}
|