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
seri doctor reports the binary, profile, credentials and search tooling
without opening a session. A missing credential is a fail; a missing daemon is not.
Refreshing an install
Seriora-Research/seri-agent, verifies
SHA256SUMS, then smokes the new file before the swap. It refuses a source
checkout. Pin a tag with SERI_VERSION=v0.1.0, the same pin the install scripts honor.
If the installed version already matches the latest stable release, the command prints that it is
current and leaves the file alone.
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.
