diff options
| author | bryan <bryan@veltar.systems> | 2026-08-27 10:49:41 +0200 |
|---|---|---|
| committer | bryan <bryan@veltar.systems> | 2026-08-27 10:49:41 +0200 |
| commit | 07bedb6ceb6e06808ab5b5ee28e0d095e11a1cd5 (patch) | |
| tree | b62884a2ddb560e84ac1dae3b48ce432153a5271 /README | |
| parent | 22ade138c4e83b7c0b0c702c38c0ca00a9948d4b (diff) | |
| download | rg-07bedb6ceb6e06808ab5b5ee28e0d095e11a1cd5.tar.gz rg-07bedb6ceb6e06808ab5b5ee28e0d095e11a1cd5.zip | |
Windows copies rg.exe to %USERPROFILE%\.local\bin and skips the
man page. Linux still installs to /usr/local/bin and share/man.
PREFIX overrides the destination on both.
Diffstat (limited to 'README')
| -rw-r--r-- | README | 7 |
1 files changed, 5 insertions, 2 deletions
@@ -30,10 +30,13 @@ Linux: Windows (GNU make + clang, from this tree): - make + make install The Windows bits of config.mk are selected when OS=Windows_NT. -Otherwise set CC, EXE=.exe, and CPPFLAGS by hand as commented there. +Install path (override with PREFIX=...): + Windows: %USERPROFILE%\.local\bin (add to PATH if it is not) + Linux: /usr/local/bin (often needs sudo) +make uninstall removes the binary (and the man page on Linux). Running without make |