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.

Sign up for GitHub

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

Jump to bottom

updated script args for server settings #45

Merged

paudetseis merged 4 commits into master from v015

Apr 2, 2025

Member

paudetseis commented Apr 1, 2025

PR to update server settings in scripts

allows a single --server argument used as base_url kwarg in Client()
includes a new --eida-token argument for restricted access to server with token Authentification
updated docs

paudetseis added 4 commits

April 2, 2025 12:10


          updated script args for server settings

2d4672e


          trying to fix codecov badge

4f4caa2


          fixed 'verbose' typo

18a4915


          reverted to single server for waveforms - default for catalogue

b06a20b

paudetseis merged commit 30e58dc into master

1 check passed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet