Skip to content

No "wavelength" option in "dolphin config" #511

Answered by scottstanie
Shima-shoki asked this question in Q&A
Discussion options

You must be logged in to vote

Yes sorry I didn't specify that- right now the dolphin config command line tool has a subset of all possible options because the available options have grown large.

I'm looking into ways to keep the CLI in sync with the actual config object. Right now, the best way is to do what you did- edit the text file, either after specify the options you want that are available via CLI, or with dolphin config --print-empty to get a yaml file with all defaults filled in that you can edit in a text editor.

Replies: 1 comment 3 replies

Comment options

You must be logged in to vote
3 replies
@scottstanie
Comment options

Answer selected by Shima-shoki
@Shima-shoki
Comment options

@Shima-shoki
Comment options

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Category
Q&A
Labels
None yet
2 participants