Update API to make headers available so we can provide an `external` option to search settings

Question

Update API to make headers available so we can provide an `external` option to search settings

chipsenkbeil opened this issue a year ago · comments

Chip Senkbeil commented a year ago

Could be a boolean like external = true to let the implementation pick an external process to execute.

Or could be a string like external = "ripgrep" to specify the external process to use.

Or is this needed? distant-ssh2 has to use an external process. distant-local uses an internal version of ripgrep.

Chip Senkbeil · Answer 1 · Sat Jul 15 2023 07:05:17 GMT+0800 (China Standard Time)

Do we have to include options? Or can we just enable the header for a request to be available as part of the api? The header route would enable us to add features like this without breaking protocol, so I'm going to move 1.0 milestone while this is considered.