Fix Docker repo setup for Debian ARM64 #3

Merged
JMR-dev merged 2 commits from claude/fix-debian-arm64-install-Mmx95 into main 2026-05-18 17:06:17 +00:00
2 Commits
Author SHA1 Message Date
Claude aa39c2f493 Fix README usage command
- curl and unzip were pipe-chained, but -o writes to a file so the pipe
  produced nothing; split into separate steps with &&
- Extracted directory is bootstrap_dev_env-main, not bootstrap
- Script is bootstrap_environment.py, not bootstrap_dev_env

https://claude.ai/code/session_01CkJR1eHoBVMyNNeGdbRBYK
2026-05-18 17:05:35 +00:00
Claude e230da3d28 Fix Docker repo setup for Debian ARM64
Two issues caused failures on Debian 13 (Trixie) ARM64:

1. apt-get update was never called before installing gnupg, leaving the
   package cache stale. The cached version (gnupg2 2.4.7-21+b3) was no
   longer available on the ARM64 mirror, producing 404 errors. Adding
   apt-get update before the install fixes this.

2. The Docker GPG key and apt repo URL were hardcoded to the Ubuntu
   endpoint. Debian has its own Docker repo at
   https://download.docker.com/linux/debian. The distro ID is now read
   from /etc/os-release and used to select the correct URL.

https://claude.ai/code/session_01CkJR1eHoBVMyNNeGdbRBYK
2026-05-18 16:50:10 +00:00