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

Allow Users to change customized ldb tools' header in help printing #2018

Closed
wants to merge 1 commit into from

Conversation

siying
Copy link
Contributor

@siying siying commented Mar 21, 2017

No description provided.

@siying
Copy link
Contributor Author

siying commented Mar 21, 2017

@IslamAbdelRahman @ajkr MyRocks is asking us to change the banner of the ldb tool. I'm going to allow users to plug in their own string and rename the name from LevelDB to RocksDB in default ldb.

@facebook-github-bot
Copy link
Contributor

@siying has imported this pull request. If you are a Facebook employee, you can view this diff on Phabricator.

@@ -26,6 +26,8 @@ struct LDBOptions {
// Key formatter that converts a slice to a readable string.
// Default: Slice::ToString()
std::shared_ptr<SliceFormatter> key_formatter;

std::string print_help_header;
Copy link
Contributor

Choose a reason for hiding this comment

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

maybe we can just have a default message

std::string print_help_header = "A User-Customized RocksDB Tool";

and get rid of the if/else

Copy link
Contributor

@IslamAbdelRahman IslamAbdelRahman left a comment

Choose a reason for hiding this comment

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

LGTM

@facebook-github-bot
Copy link
Contributor

@siying updated the pull request - view changes - changes since last import

@facebook-github-bot
Copy link
Contributor

@siying has imported this pull request. If you are a Facebook employee, you can view this diff on Phabricator.

@ajkr
Copy link
Contributor

ajkr commented Mar 21, 2017

i can't think of why anyone would need configurable help header

@siying
Copy link
Contributor Author

siying commented Mar 22, 2017

@ajkr talking to you offline for this question.

@facebook-github-bot
Copy link
Contributor

@siying has imported this pull request. If you are a Facebook employee, you can view this diff on Phabricator.

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

Successfully merging this pull request may close these issues.

4 participants