macOS and Linux
~/.local/bin. If that directory is not on your PATH, the script prints the line
to add. It never edits your shell config for you.
Windows
~\.seri\bin and adds that directory to your user PATH. No admin rights are
required. Open a new terminal afterwards so the PATH change takes effect.
Without piping to a shell
If you would rather not run a script straight from the internet, download the binary for your platform from Releases, make it executable, and put it somewhere on yourPATH.
Both install scripts are short enough to read first, and both verify the download against the
SHA256SUMS file published with each release.
Check it worked
Uninstalling
Delete the binary from wherever the installer put it (~/.local/bin/seri, or
%USERPROFILE%\.seri\bin\seri.exe on Windows). Your data outlives it, under ~/.seri/.
Deleting
~/.seri/rg/ on its own is always safe. The next search writes it again, and a run that
cannot write there falls back to a temporary copy.
On Windows the installer resolves its target from
%USERPROFILE% while seri resolves your data
directory from $HOME. If you have set HOME to something other than your user profile, the
binary and your data live under two different .seri directories.
