Skip to content

Instantly share code, notes, and snippets.

@andy0130tw
Created December 5, 2023 02:20
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save andy0130tw/8a08196dcda3a5f96bfb052a606ebe88 to your computer and use it in GitHub Desktop.
Save andy0130tw/8a08196dcda3a5f96bfb052a606ebe88 to your computer and use it in GitHub Desktop.
How I typically install ripgrep without system package manager for a single user
# mkdir -p is your good friend
cp rg ~/.local/bin
cp doc/rg.1 ~/.local/share/man/man1
cp complete/rg.bash ~/.local/share/bash-completion
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment