-
Notifications
You must be signed in to change notification settings - Fork 14
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
Add completions sub-command to generate shell completion scripts #592
Conversation
4fd286a
to
f950516
Compare
9e7c633
to
97e8037
Compare
97e8037
to
2df87c9
Compare
cli/src/cmd_completion.rs
Outdated
/// | ||
/// and import this by adding the following to `~/.config/elvish/rc.elv` | ||
/// | ||
/// use oxide |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Beautiful comment, might need formatting tweaks depending on how it renders on the docs site. I believe we treat this as markdown. Testing now.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
pub struct CmdCompletion { | ||
/// Type of the shell | ||
#[clap(short, long)] | ||
shell: Shell, |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Final product of my editCLI outputUglier than before but tolerable. I've added #593 about rendering this markdown in the CLI as well. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
This looks great. My only concern is #594, separating meta commands like this from the rest in the docs site sidebar, but it's not a blocker.
Thanks for fixing up the docs site rendering! |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
excellent! ship it!
No description provided.