Installation
ProGit is in public beta. There are no pre-built binaries yet — you build from source. This takes about 2 minutes and gives you the current 0.6.0-beta release.
Prerequisites
Section titled “Prerequisites”| Tool | Minimum | Notes |
|---|---|---|
| Rust | 1.75+ | Install via rustup.rs |
| Git | Any | To clone the repo |
Optional for AI features: Ollama running locally.
Build from Source
Section titled “Build from Source”# 1. Clonegit clone https://git.sovereign-society.org/ProGit/progit.gitcd progit
# 2. Build (release, optimised for size)cargo build --release
# 3. Install to PATHsudo cp target/release/prog /usr/local/bin/progThe binary is called prog.
With OS keyring support
Section titled “With OS keyring support”To store forge tokens in your system keyring (GNOME Keyring / KWallet) instead of environment variables:
cargo build --release --features keyring-secretssudo cp target/release/prog /usr/local/bin/progVerify
Section titled “Verify”prog --versionExpected output:
prog 0.6.0-betaToken configuration (for forge sync)
Section titled “Token configuration (for forge sync)”ProGit reads tokens from environment variables — no credentials stored in config files:
export PROGIT_TOKEN="your-token" # generic (tried first)export GITLAB_TOKEN="your-token" # GitLab / self-hostedexport FORGEJO_TOKEN="your-token" # Forgejo / GiteaAdd to ~/.bashrc or ~/.zshrc to persist across sessions.
Updating
Section titled “Updating”cd progitgit pullcargo build --releasesudo cp target/release/prog /usr/local/bin/progTroubleshooting
Section titled “Troubleshooting”prog: command not found
Section titled “prog: command not found”/usr/local/bin isn’t in your PATH:
echo 'export PATH="$PATH:/usr/local/bin"' >> ~/.zshrcsource ~/.zshrcBuild fails with linker errors
Section titled “Build fails with linker errors”Install build essentials:
# Debian / Ubuntusudo apt install build-essential pkg-config libssl-dev
# Archsudo pacman -S base-devel openssl
# Fedorasudo dnf install gcc openssl-develRust is out of date
Section titled “Rust is out of date”rustup update stable