Installation

ProGit is in public beta (v0.8.0). Pre-built binaries are available for Linux x86_64 via three install rails. Other platforms can build from source.

One-line installer (Linux / macOS)

curl -fsSL https://progit.dev/install.sh | sh

Installs to ~/.local/bin (or /usr/local/bin if writable). Downloads the signed binary from the sovereign Forgejo, verifies the minisign signature when minisign is available.

Options:

# Specific version
curl -fsSL .../install.sh | sh -s -- --version v0.8.0-beta

# Custom install directory
curl -fsSL .../install.sh | sh -s -- --dir ~/.cargo/bin

# Force overwrite existing install
curl -fsSL .../install.sh | sh -s -- --force

Homebrew (macOS / Linux)

brew install sovereign-society/tap/progit

Arch Linux (AUR)

paru -S progit-bin
# or
yay -S progit-bin

Build from Source

For platforms without pre-built binaries (aarch64, macOS, Windows — coming soon), or if you prefer to compile yourself:

Prerequisites

Tool	Minimum	Notes
Rust	1.85+	Install via rustup.rs
Git	Any	To clone the repo

Optional for AI features: Ollama running locally.

Build

# 1. Clone
git clone https://git.sovereign-society.org/ProGit/progit.git
cd progit

# 2. Build (release, optimised for size)
cargo build --release

# 3. Install to PATH
sudo cp target/release/prog /usr/local/bin/prog

The binary is called prog. Default build is under 7 MB.

With OS keyring support

To store forge tokens in your system keyring (GNOME Keyring / KWallet) instead of environment variables:

cargo build --release --features keyring-secrets
sudo cp target/release/prog /usr/local/bin/prog

With sovereign data plane (opt-in)

The sovereign git data plane adds ~3 MB and enables local git hosting via gix. Most users don’t need this — the default binary syncs to GitHub/GitLab/Forgejo over HTTP.

cargo build --release --features forge-backend

Verify

prog --version

Expected output:

prog 0.8.0-beta

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-hosted
export FORGEJO_TOKEN="your-token"  # Forgejo / Gitea

Add to ~/.bashrc or ~/.zshrc to persist across sessions.

Updating

Pre-built binary:

curl -fsSL https://progit.dev/install.sh | sh -s -- --force
# or: brew upgrade progit
# or: paru -S progit-bin

From source:

cd progit
git pull
cargo build --release
sudo cp target/release/prog /usr/local/bin/prog

Troubleshooting

prog: command not found

/usr/local/bin or ~/.local/bin isn’t in your PATH:

echo 'export PATH="$PATH:$HOME/.local/bin"' >> ~/.zshrc
source ~/.zshrc

Build fails with linker errors

Install build essentials:

# Debian / Ubuntu
sudo apt install build-essential pkg-config libssl-dev

# Arch
sudo pacman -S base-devel openssl

# Fedora
sudo dnf install gcc openssl-devel

Rust is out of date

rustup update stable

Signature verification failed

The binary signature didn’t match. This could indicate a tampered download. Report to [email protected].

Next Steps

• Quick Start — create your first issue in 60 seconds
• Configuration — themes, sync, plugins
• Keybindings — full keyboard reference