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.

Sign up for GitHub

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

Jump to bottom

miscellaneous fixes #828

Merged
merged 3 commits into from
Feb 21, 2018
Merged

miscellaneous fixes #828

merged 3 commits into from
Feb 21, 2018

Commits on Feb 21, 2018

  1. doc: clarify failure mode 

    This adds a hint for end users that run into a common failure mode where
ripgrep won't search any files because they have a `*` rule in their
`$HOME/.gitignore`.

Fixes #815
    @BurntSushi
    BurntSushi committed Feb 21, 2018
    Configuration menu
    Copy the full SHA
    92d3be6 View commit details
    Browse the repository at this point in the history

  2. doc: omit revision when it isn't available 

    If the revision is empty, then we shouldn't show the `(rev )` text in
the output of `rg --version`.

Fixes #789
    @BurntSushi
    BurntSushi committed Feb 21, 2018
    Configuration menu
    Copy the full SHA
    03c95bf View commit details
    Browse the repository at this point in the history

  3. ci: build man page on ARM cross-compile 

    This fixes a bug where ripgrep's man page wasn't generated in the ARM
cross-compile build. Mostly, this should just require installing
asciidoc and making sure we test that it actually works.

Fixes #791
    @BurntSushi
    BurntSushi committed Feb 21, 2018
    Configuration menu
    Copy the full SHA
    30e961d View commit details
    Browse the repository at this point in the history