Ustagammon/docs/adr/0004-outils-de-developpement-dans-docker.md

0004. Outils de développement dans Docker

• Statut : accepté
• Date : 2026-11-02
• Décideurs : Claude Code

Contexte

La machine de développement est ancienne et doit rester légère. Le cadrage prévoit déjà que les chaînes d'outils lourdes (NDK, Emscripten, gnubg de référence) tournent dans Docker. La question s'est posée dès le premier outil de vérification, ShellCheck, absent du PC.

Décision

Rien n'est installé sur le PC en dehors de git, make, Docker et adb. Chaque outil tourne dans une image Docker de version figée, récupérée ou construite par make setup. Premier cas : ShellCheck (GPLv3), image koalaman/shellcheck-alpine:v0.10.0.

Alternatives écartées

• Installer les outils avec apt : versions qui varient d'une machine à l'autre, et pollution du système.

Conséquences

• make lint demande d'avoir lancé make setup une fois ; il le dit explicitement sinon.
• Chaque nouvelle image est signalée avec sa licence dans CREDITS.md.