Keyboard shortcuts

Press or to navigate between chapters

Press S or / to search in the book

Press ? to show this help

Press Esc to hide this help

tt bootstrap

Download and build Redis using an AI coding agent.

Synopsis

tt bootstrap [VERSION] [OPTIONS]

Description

Bootstraps Redis by delegating to an AI coding agent. The agent:

  1. Fetches the release info from https://github.com/redis/redis/releases
  2. Downloads the source tarball
  3. Builds Redis from source (make)
  4. Installs binaries to ~/.tt/bin/

This gets you the latest Redis compiled and optimized for your machine.

Arguments

ArgumentDescription
[VERSION]Redis version to install (default: latest)

Options

OptionShortDescription
--model <CLI>-mAI CLI to use (default: claude)

Examples

Install Latest Redis

tt bootstrap

Install Specific Version

tt bootstrap 8.0.2

Use Different AI CLI

tt bootstrap --model auggie
tt bootstrap --model codex

Output

🚀 Bootstrapping Redis latest to /Users/you/.tt
   Using claude to download and build Redis...

📋 Running: claude --print --dangerously-skip-permissions < ~/.tt/bootstrap_prompt.md
   (This may take a few minutes to download and compile)

   [Agent output as it downloads and builds...]

✅ Redis installed successfully!

   Add to your PATH:
   export PATH="/Users/you/.tt/bin:$PATH"

   Or add to ~/.zshrc or ~/.bashrc for persistence.

   Then run: tt init

After Bootstrap

Add Redis to your PATH:

# Add to current session
export PATH="$HOME/.tt/bin:$PATH"

# Add to shell permanently
echo 'export PATH="$HOME/.tt/bin:$PATH"' >> ~/.zshrc
source ~/.zshrc

# Verify
redis-server --version

Then initialize a town:

tt init

Why Bootstrap?

MethodProsCons
tt bootstrapLatest version, optimized for your CPUTakes a few minutes to build
brew install redisQuick, easyMay not have latest 8.0+
apt install redisSystem packageOften outdated version

Alternative Installation Methods

If bootstrap fails or you prefer package managers:

macOS (Homebrew)

brew install redis

Ubuntu/Debian

sudo apt update
sudo apt install redis-server

From Source (Manual)

curl -LO https://github.com/redis/redis/archive/refs/tags/8.0.2.tar.gz
tar xzf 8.0.2.tar.gz
cd redis-8.0.2
make
sudo make install

See Also