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

feat(command): add options cmd #407

Open
wants to merge 1 commit into
base: main
Choose a base branch
from

Conversation

hanxuanliang
Copy link

Now we support these commands, related #354

cmd desc
!options Show all options and their values
!load Just like the !source command

@hanxuanliang hanxuanliang changed the title feat(command): add options cmd WIP: feat(command): add options cmd Apr 23, 2024
@hanxuanliang hanxuanliang changed the title WIP: feat(command): add options cmd feat(command): add options cmd Apr 23, 2024
@@ -469,6 +475,30 @@ impl Session {
"!configs" => {
println!("{:#?}", self.settings);
}
"!options" => {
Copy link
Member

@sundy-li sundy-li Apr 25, 2024

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

seems options is just different display with configs

Copy link
Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

yes. However, we currently do not have an [options] syntax block. Is it intended to support this content later?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants