Docker (official repo)

Last updated 12 Oct 2025, 12:18

Requirements and Bootstrap

Required tools

  • ripgrep (rg)
  • curl
  • jq
  • make
  • git
  • unzip, tar
  • python3 (and optionally pipx)
  • openssl
  • docker + docker compose plugin
  • systemd user tools (systemctl --user, journalctl --user)

Install (Ubuntu/Debian)

sudo apt-get update
sudo apt-get install -y ripgrep curl jq make git unzip tar python3 python3-pip python3-venv openssl
# Docker (official repo)
sudo apt-get install -y ca-certificates curl gnupg
sudo install -m 0755 -d /etc/apt/keyrings
curl -fsSL https://download.docker.com/linux/ubuntu/gpg | sudo gpg --dearmor -o /etc/apt/keyrings/docker.gpg
echo "deb [arch=$(dpkg --print-architecture) signed-by=/etc/apt/keyrings/docker.gpg] https://download.docker.com/linux/ubuntu $(. /etc/os-release; echo $VERSION_CODENAME) stable" | sudo tee /etc/apt/sources.list.d/docker.list > /dev/null
sudo apt-get update
sudo apt-get install -y docker-ce docker-ce-cli containerd.io docker-buildx-plugin docker-compose-plugin

Verify

rg --version
curl --version
jq --version
make --version
git --version
unzip -v | head -n 1
tar --version | head -n 1
python3 --version
openssl version
docker --version
docker compose version  # use sudo if needed
systemctl --user --version

Notes

  • On this host, Docker runs as root; use sudo docker ....
  • Compose operations are standardized in infra/OPERATIONS.md and Make targets.
  • Health checks run via an on-demand systemd user service (see ops-state/README.md).