[roll] Roll fuchsia [debugger] Add explicit options for public/private servers

Before this, there was a single "symbol-server" command line argument to
all the debug tooling. This is inherently ambiguous, because it's
unclear if the server should go through the authentication flow or not.
If a public server is specified this way, and never responds to the
authentication flow, we'll never actually use that server.

When servers are added via the symbol-index, this is typically never an
issue because the ambiguity is solved there. The symbol-index is not
available in all contexts, however, so adding explicit parameters is the
way to go.

Servers specified with the DEBUGINFOD_URLS environment variable are
always treated as if they were added as public servers.

The existing --symbol-server argument is unchanged, and means "private" servers. This is to maintain compatibility with existing users (particularly for symbolizer). We can change this later to "--private-symbol-servers" to be consistent in the future.

Original-BUG: 365193885
Original-BUG: 359660815
Original-Reviewed-on: https://fuchsia-review.googlesource.com/c/fuchsia/+/1134732
Original-Revision: 80001d91f93f4b6181a1a841cdd8cb030962255b
GitOrigin-RevId: 9f51b0d59bc27103fded4d137e1d7cbf6b850ef2
Change-Id: Ia30edb6ffc8d62e1eaf54b096b7dd42184e7e06b
1 file changed
tree: 7e75dd1f9d835f2139ad20e4bf7d255b4128506a
  1. ctf/
  2. git-hooks/
  3. infra/
  4. third_party/
  5. cts
  6. firmware
  7. flower
  8. jiri.lock
  9. MILESTONE
  10. minimal
  11. prebuilts
  12. README.md
  13. stem
  14. test_durations
  15. toolchain
README.md

Integration

This repository contains Fuchsia's Global Integration manifest files.

Making changes

All changes should be made to the internal version of this repository. Our infrastructure automatically updates this version when the internal one changes.

Currently all changes must be made by a Google employee. Non-Google employees wishing to make a change can ask for assistance in one of the communication channels documented at get involved.

Obtaining the source

First install Jiri.

Next run:

$ jiri init
$ jiri import minimal https://fuchsia.googlesource.com/integration
$ jiri update

Third party

Third party projects should have their own subdirectory in ./third_party.