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

improve time option usage #645

Merged
merged 2 commits into from
Sep 10, 2020
Merged

improve time option usage #645

merged 2 commits into from
Sep 10, 2020

Conversation

gorogoroumaru
Copy link
Contributor

issue #624

Currently, aliases for fd's time option are not so memorable and we have to specify full timestamp.

So, I changed the aliases for time option into more memorable ones and default the time component to 00:00:00 when only a date is given

@@ -411,7 +411,7 @@ pub fn build_app() -> App<'static, 'static> {
.arg(
Arg::with_name("changed-within")
.long("changed-within")
.alias("change-newer-than")
Copy link
Collaborator

Choose a reason for hiding this comment

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

I think removing this alias isn't backwards compatible. Why not keep both aliases?

@gorogoroumaru
Copy link
Contributor Author

Thank you @tmccombs!
I applied your suggested change.

@tmccombs tmccombs merged commit 74c3431 into sharkdp:master Sep 10, 2020
@sharkdp
Copy link
Owner

sharkdp commented Oct 4, 2020

@tmccombs Thank you for reviewing and merging this! Just a minor thing: It would be great if we can ask contributors to adapt the CHANGELOG.md file accordingly. It's a new process that I have started that makes releases so much easier.

Something like:


Could you please add an entry to the "unreleased" section in CHANGELOG.md? The format for entries is:

- Description what has been changed, see #123 (@user)

where #123 links to the bug ticket and/or the PR and user is your username.


I guess we should add this to a PR template or some contributing guide.

@tmccombs
Copy link
Collaborator

tmccombs commented Oct 5, 2020

Ok, I'll do that next time.

@sharkdp sharkdp mentioned this pull request Dec 9, 2020
13 tasks
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.

3 participants