Skip to content

rename --gnss-source from JPL-SIDESHOW to SIDESHOW #1228

@yunjunz

Description

@yunjunz

Description of the desired feature

@rzinke Shall we rename the --gnss-source JPL-SIDESHOW to --gnss-source SIDESHOW for simplicity, and to be consistent with other values, e.g. UNR and ESESES? It's also easier to type.

Are you willing to help implement and maintain this feature?

  • Yes
  • No

Metadata

Metadata

Assignees

Labels

No labels
No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions