- 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
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