Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

indi_gpsd and system coordinates #181

Closed
rtlprmft opened this issue Aug 3, 2020 · 3 comments
Closed

indi_gpsd and system coordinates #181

rtlprmft opened this issue Aug 3, 2020 · 3 comments
Labels
enhancement New feature or request

Comments

@rtlprmft
Copy link
Contributor

rtlprmft commented Aug 3, 2020

indi_gpsd has a nice feature that is to provide the system time rather than the GPS time. This allows to use an identical configuration, although the GPS device is not available. It would be even nicer, if in case the device can not connect, a simulation mode could be enables in which the system time and a user supplied position is distributed.

@rtlprmft rtlprmft added the enhancement New feature or request label Aug 3, 2020
@knro
Copy link
Collaborator

knro commented Aug 3, 2020

Sure, I can see how this can be useful. Please submit a PR.

@rtlprmft
Copy link
Contributor Author

rtlprmft commented Aug 4, 2020

I have no idea how to do so... if I find time, I can maybe provide a diff.

@jochym
Copy link
Contributor

jochym commented Aug 5, 2020

You can edit the file directly on github and commit your changes to a separate branch for review and merging. Even better you can fork the repo to your github account and edit it there. When you ready you can generate pull-request (PR) yourself or just signal us that your changes are ready. It is really easy. Actually easier then making a proper diff ;).

@knro knro closed this as completed Aug 8, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

No branches or pull requests

3 participants