sergio/takana

1#!/bin/sh
2# instalador-variantes.sh — las tres variantes del instalador, en sus dos medios.
3#
4# ══ QUÉ SON ═══════════════════════════════════════════════════════════════════════════════════
5#   base      sólo el piso de arranque: arranca a una consola y nada más
6#   servidor  el piso de arranque + el userland base + el perfil `servidor`
7#   mirada    el piso de arranque + el userland base + el escritorio propio de la suite
8#   full      el userland, el toolbox (`cli`), los servicios y **los cinco escritorios** —mirada,
9#             sway, cosmic, gnome y kde—. Pide un pendrive de 32 GB.
10#
11# ── LA COMPOSICIÓN, Y POR QUÉ NO ES UN PERFIL SOLO ────────────────────────────────────────────
12# ⚠ **«base» son DOS cosas con el mismo nombre**, y confundirlas da un rootfs que no arranca:
13#
14#   · el **piso de ARRANQUE** — `product-rootfs`: arje-zero como PID 1 + busybox. Es lo único que
15#     hace que la imagen encienda, y NO está en ningún perfil de `targets.toml`.
16#   · el **userland base** — `[perfil.base]`: bash, git, sudo, dhcpcd, coreutils… 359 binarios y
17#     **ni busybox ni arje-zero adentro** (medido: `ls base/bin` no los tiene).
18#
19# El [SDD 27 §1](../docs/27-perfiles-instalables-y-el-instalador.md) ya había medido que los
20# escritorios NO heredan `base`; esto es la otra mitad del mismo hueco. Cada variante se compone
21# entonces así, y en este orden:
22#
23#     product-rootfs  ∪  perfil.base  ∪  <los perfiles de la variante>
24#
25# ── DOS MONTAJES, DOS COPIAS, Y NO ES DESPERDICIO ─────────────────────────────────────────────
26# `hydrate` proyecta por HARDLINK y `linkat()` no cruza un punto de montaje: la composición tiene
27# que armarse **bajo el montaje del store**. Y el ensamblado de la imagen vuelve a enlazar, esta vez
28# hacia `work/`, que está en OTRO disco — así que la composición se copia una vez a este lado. Las
29# dos restricciones son la misma física y ya mordieron dos veces en este repo.
30#
31# Uso:  scripts/instalador-variantes.sh [servidor|mirada|full]...   (sin argumentos: las tres)
32# Vars: KERNEL · SALIDA (def work/variantes) · STORE (def /store)
33set -eu
34ROOT="$(cd "$(dirname "$0")/.." && pwd)"; cd "$ROOT"
35STORE="${STORE:-/store}"
36SALIDA="${SALIDA:-work/variantes}"
37COMPOSICION="$STORE/.perfiles"
38# ⚠ Configurable desde el 2026-10-15, y no por gusto: el árbol local pesa lo que la imagen (con
39# firmware, ~3 GiB) y `/work` se quedó SIN UN BYTE mientras `/store` tenía 17 GiB. Un armador que
40# sólo puede trabajar en un filesystem se frena por el disco equivocado, y el medio es justo lo que
41# alguien está esperando. `COMPOSICION` ya vivía en `$STORE`; esto le da la misma salida al árbol.
42LOCAL="${LOCAL:-work/.rootfs-local}"
43
44# ── perfiles_de <variante> <medio> ────────────────────────────────────────────────────────────
45# ⚠ **El medio manda sobre el contenido, y `servidor` es el caso donde se nota.** El fichero único
46# carga el sistema ENTERO en memoria —es lo que le permite soltar el disco para poder formatearlo—
47# así que cada MiB del rootfs es RAM exigida en la máquina de quien instala. El USB no tiene ese
48# límite: corre desde el propio medio.
49#
50# Por eso `servidor` no es la misma cosa en los dos:
51#   · por el archivo único va `servidor-minimo` — los mismos servicios, sin la cadena de compilar
52#     (`rust` 364 MiB, `lld21` 109) ni el toolbox de `cli` (54 raíces). 1,6 GiB contra 3,2.
53#   · por USB va `servidor` entero, que es el destino de verdad.
54#
55# No es una opinión sobre qué debe llevar un servidor: es una restricción física del medio, y está
56# escrita en los dos sitios —acá y en el `descripcion` del perfil— para que nadie la lea como un
57# recorte arbitrario.
58perfiles_de() {
59    case "$1:${2:-usb}" in
60        # `base` no compone NINGÚN perfil: es el piso de arranque solo, que es lo que la variante
61        # promete. Devuelve vacío a propósito y el bucle de hidratación no da ni una vuelta.
62        base:*)       echo "" ;;
63        servidor:run) echo "base servidor-minimo" ;;
64        servidor:*)   echo "base servidor" ;;
65        mirada:*)     echo "base escritorio-mirada" ;;
66        # ⚠ **GNOME estuvo fuera medio día, por dos cosas suyas, y las dos están resueltas.**
67        #   · `accountsservice` trae `/var/lib/AccountsService/users` en 0700 ⇒ hidratar como
68        #     usuario normal no podía leerlo y el nodo no proyectaba. Se arma con privilegio, que es
69        #     lo que ya hacía falta igual por los 0500 de ModemManager.
70        #   · `usr/libexec/libgtop_server2` llega 4555 desde el tarball de upstream y el perfil no lo
71        #     declara. El aviso del auditor decía «o entra a un `[[setuid]]` con su motivo, **o
72        #     sale**» y hasta ese día sólo existía la primera mitad. Ahora `takana setuid --apply`
73        #     RETIRA el bit no declarado, rompiendo el enlace duro: el store queda intacto y se dice
74        #     cuál se quitó. Es la opción segura —quita privilegio, nunca lo da— y la coherente con
75        #     el invariante: `of_tree` no hashea ese bit, así que un artefacto que lo trae está
76        #     fuera de contrato.
77        full:*)       echo "base cli escritorio-mirada escritorio-sway escritorio-cosmic escritorio-gnome escritorio-kde servidor" ;;
78        *) echo "variante desconocida: $1 (servidor|mirada|full)" >&2; return 1 ;;
79    esac
80}
81
82# ── QUÉ MEDIOS TIENE CADA VARIANTE, Y POR QUÉ `full` NO TIENE FICHERO ÚNICO ────────────────────────────
83# El fichero único carga el instalador ENTERO en memoria —es lo que le permite soltar el disco— y
84# en RAM viven a la vez el initramfs comprimido y su contenido desempaquetado. El generador ya lo
85# comprueba y se niega por encima del 40 % de la RAM; con `full` (3,2 GiB) eso pide ~8 GiB en la
86# máquina donde se instale, o sea que el fichero único sería uno de 1,5 GiB que en la mitad de las
87# máquinas no se puede usar. **El USB no tiene ese límite**: corre desde el propio medio.
88#
89# ⚠ Y hay un defecto conocido en esa guarda: mide la RAM de la máquina que CONSTRUYE, no la de la
90# que instala. Acá da el resultado correcto por casualidad —el hub tiene 7,6 GiB, parecido a un
91# portátil— pero construir en una caja grande dejaría pasar una imagen que allá no arranca. Está
92# anotado y no barrido.
93medios_de() {
94    case "$1" in
95        full) echo "usb" ;;
96        *)    echo "run usb" ;;
97    esac
98}
99
100VARIANTES="${*:-base mirada servidor full}"
101for v in $VARIANTES; do perfiles_de "$v" usb >/dev/null || exit 2; done
102
103KERNEL="${KERNEL:-$(ls -dt "$STORE"/*-linux-metal/boot/bzImage 2>/dev/null | head -1)}"
104[ -n "${KERNEL:-}" ] && [ -r "$KERNEL" ] || { echo "no encuentro un bzImage de linux-metal (set KERNEL=)" >&2; exit 1; }
105PISO="${PISO:-$(ls -dt "$STORE"/*-product-rootfs 2>/dev/null | head -1)}"
106[ -n "${PISO:-}" ] && [ -d "$PISO" ] || { echo "no encuentro un product-rootfs (set PISO=)" >&2; exit 1; }
107echo "==> piso de arranque: $PISO"
108echo "==> kernel: $KERNEL"
109mkdir -p "$SALIDA" "$COMPOSICION" "$LOCAL" work
110
111# ── LA GUARDA DEL MONTAJE, antes de componer un solo byte ─────────────────────────────────────────
112# El empaquetador (`instalador-paquete.sh`, `instalador-usb.sh`) enlaza el árbol local a su stage
113# `work/.instalador-initramfs-stage` por HARDLINK, y un hardlink no cruza montajes. Si `LOCAL` está
114# en otro filesystem, el armado compone los ~3,9 GiB de los dos perfiles, aplica el bit de
115# privilegio, compone la semilla, y RECIÉN ENTONCES muere con `EXDEV`.
116#
117# Medido el 2026-10-15: con `/work` sin espacio puse `LOCAL=/store/.rootfs-local` y perdí veinte
118# minutos de composición por esto. Y la advertencia existía —«el árbol tiene que quedar en el MISMO
119# montaje que el stage del ensamblado», unas líneas más abajo— o sea que la información estaba
120# escrita y no frenó a nadie, ni al que la escribió. Una prosa no es una guarda.
121_dev_local=$(stat -c%d "$LOCAL" 2>/dev/null || echo desconocido-local)
122_dev_stage=$(stat -c%d work 2>/dev/null || echo desconocido-stage)
123if [ "$_dev_local" != "$_dev_stage" ]; then
124	echo "✗ LOCAL=$LOCAL está en OTRO filesystem que work/ (dev $_dev_local contra $_dev_stage)." >&2
125	echo "  El empaquetador enlaza el árbol local a su stage por hardlink, así que esto fallaría con" >&2
126	echo "  EXDEV después de componer varios GiB. Poné LOCAL en el mismo montaje que work/, o libera" >&2
127	echo "  espacio ahí: \`df -h work\` dice $(df -h work 2>/dev/null | awk 'NR==2{print $4}') libres." >&2
128	exit 1
129fi
130
131compone() {   # <variante> <medio> → deja el árbol local en $LOCAL/<variante>-<medio>
132    _cv="$1"; _cm="$2"
133    C="$COMPOSICION/$_cv-$_cm"
134    # `cp -al`: el piso entra por hardlinks, que en el mismo filesystem es gratis. Un `cp -a` de
135    # 265 MiB por variante es tiempo y disco que no hacen falta.
136    rm -rf "$C"; cp -al "$PISO" "$C"
137    chmod -R u+w "$C" 2>/dev/null || true
138    # ⚠ **Cada perfil se hidrata en SU PROPIO árbol y después se funden**, y no uno encima de otro
139    # con `--keep`. La razón es la auditoría del bit de privilegio, que corre contra las
140    # declaraciones `[[setuid]]` DEL PERFIL QUE SE ESTÁ HIDRATANDO: al poner `escritorio-mirada`
141    # encima de `base`, veía el `doas` 4755 que dejó `base` —declarado, legítimo— y lo denunciaba
142    # como «un bit que nadie declaró». La auditoría tiene razón en lo suyo; el que estaba mal era
143    # el método. Medido el 2026-09-23.
144    for p in $(perfiles_de "$_cv" "$_cm"); do
145        echo "  ── perfil $p"
146        H="$COMPOSICION/$_cv-$_cm-$p"; rm -rf "$H"
147        python3 scripts/hydrate-profile.py "$p" --into "$H" --store "$STORE" \
148            > "work/.variante-$_cv-$p.log" 2>&1 || {
149            echo "     ✗ falló la hidratación de $p — ver work/.variante-$_cv-$p.log" >&2
150            grep -A6 'SIN artefacto\|✗' "work/.variante-$_cv-$p.log" | head -14 >&2
151            exit 1; }
152        # `-n` (no pisar): si dos perfiles traen el mismo fichero es el mismo artefacto, así que
153        # gana el primero y da igual cuál sea. Pisar daría el mismo resultado y un error si el
154        # hardlink ya existe.
155        chmod -R u+w "$H" 2>/dev/null || true
156        # ⚠ **Un `-n` silencioso es una decisión escondida.** Cuando dos perfiles traen el MISMO
157        # camino gana el primero, y con un solo escritorio eso es siempre el mismo artefacto y da
158        # igual. Con cinco escritorios en la misma imagen ya no: dos de ellos pueden querer el
159        # mismo `/etc/xdg/...` o el mismo `.desktop`, y quedarse callado significa que uno pisa al
160        # otro sin que nadie lo sepa. No se resuelve acá —hace falta saber CUÁL gana y por qué—
161        # pero se CUENTA, que es lo mínimo para que exista la pregunta.
162        _antes=$(find "$C" ! -type d 2>/dev/null | wc -l)
163        _trae=$(find "$H" ! -type d 2>/dev/null | wc -l)
164        ( cd "$H" && find . -type d -exec mkdir -p "$C/{}" \; ) 2>/dev/null || true
165        # ── UN SYMLINK A BUSYBOX no tapa el binario REAL que necesita el bit ──────────────────────
166        # Ningún perfil declara `busybox`, pero el PISO lo trae horneado con sus ~331 symlinks, y el
167        # piso entra primero: con `-n`, `bin/su → busybox` gana sobre el `bin/su` de shadow. El bit
168        # de privilegio se aplicó sobre el árbol del perfil —donde ESE `bin/su` es el binario real y
169        # quedó 4755— y la fusión lo descartaba, dejando la capacidad muerta. Medido el 2026-10-15:
170        # `su`, `passwd`, `mount` y `umount` eran symlinks a un busybox sin bit.
171        #
172        # Se liberan SÓLO las rutas con `[[setuid]]` declarado, y el criterio es duro: **a un symlink
173        # no se le puede poner el bit**, así que un symlink ahí es una capacidad muerta por
174        # construcción. Los otros ~325 no se tocan — reemplazar un applet por un binario con otras
175        # banderas puede romper un script del arranque, y eso es el trabajo de
176        # `docs/plan-botar-busybox.md`, con su propia medición.
177        _recetas_p=""
178        for _pk in $(python3 scripts/targets.py "$p" 2>/dev/null); do
179            [ -f "recipes/$_pk.toml" ] && _recetas_p="$_recetas_p recipes/$_pk.toml"
180        done
181        _liberados=0
182        if [ -n "$_recetas_p" ] && [ -x ./target/release/takana ]; then
183            for _sp in $(./target/release/takana setuid $_recetas_p --json 2>/dev/null \
184                | python3 -c 'import json,sys
185try:
186    print("\n".join(x["path"] for x in json.load(sys.stdin)))
187except Exception:
188    pass' 2>/dev/null); do
189                [ -L "$C/$_sp" ] || continue
190                [ -f "$H/$_sp" ] && [ ! -L "$H/$_sp" ] || continue
191                case "$(readlink "$C/$_sp")" in
192                *busybox*)
193                    rm -f "$C/$_sp"
194                    echo "     · $_sp: el symlink a busybox del piso NO tapa al de $p (el bit no va en un symlink)"
195                    _liberados=$((_liberados + 1)) ;;
196                esac
197            done
198        fi
199        [ "$_liberados" -gt 0 ] && echo "     ✓ $_liberados binario(s) privilegiado(s) liberado(s) del symlink heredado"
200        ( cd "$H" && find . ! -type d -exec cp -a -l -n {} "$C/{}" \; ) 2>/dev/null || true
201        _despues=$(find "$C" ! -type d 2>/dev/null | wc -l)
202        _choques=$(( _antes + _trae - _despues ))
203        [ "$_choques" -gt 0 ] && echo "     ⚠ $_choques fichero(s) ya estaban y NO se pisaron (gana el primero)"
204        rm -rf "$H"
205        echo "     $(grep -oE '[0-9]+/[0-9]+' "work/.variante-$_cv-$p.log" | tail -1) artefactos · acumulado $(du -sm "$C" | cut -f1) MiB"
206    done
207    # ── el árbol tiene que quedar en el MISMO montaje que el stage del ensamblado ─────────────
208    # ⚠ **Algunos artefactos traen ficheros que el usuario normal no puede LEER** —ModemManager
209    # instala sus `fcc-unlock.available.d/*` en 0500, que es como vienen de upstream— así que copiar
210    # el árbol pide privilegio. No se hace `chown`: `cp -a` como root conserva dueño y modo, que es
211    # justo lo que la imagen tiene que llevar. Aparece en cuanto entra un escritorio (sway, cosmic,
212    # kde); las variantes chicas nunca lo tocaron. Medido el 2026-09-23.
213    # ── LA SEMILLA DEL MEDIO: quién arranca el escritorio ─────────────────────────────────────
214    # Medido el 2026-10-15: la semilla del piso trae `hammerd`, `console-getty` y `sshd` y nada más,
215    # y este armador no la tocaba ⇒ **el medio arrancaba a una consola de texto, con el escritorio
216    # adentro y nadie llamándolo**. Es la figura de `foot` una vuelta más arriba, y el propio
217    # `targets.py --services` la venía denunciando: «`mirada-compositor` está en la imagen y TRAE
218    # este servicio, pero el perfil no lo arranca».
219    #
220    # Las Cards NO se escriben acá: `service-cards` es la ÚNICA traducción `[[service]]` → Card y
221    # `inyectar-cards.py` la única que compone la seed (idempotente por label, con `os.replace`
222    # porque la seed es un hardlink al store). Es el mismo par que usan `servidor-image.sh` y los
223    # armadores de gnome/kde/cosmic; mirada era el único que no lo hacía.
224    _svc=""
225    for p in $(perfiles_de "$_cv" "$_cm"); do
226        _svc="$_svc $(python3 scripts/targets.py --service-paths "$p" 2>/dev/null | tr '\n' ' ')"
227    done
228    _svc=$(echo $_svc)
229    if [ -z "$_svc" ]; then
230        echo "     ⚠ ningún servicio habilitado en los perfiles: NADA arrancaría el escritorio" >&2
231    elif [ ! -r "$C/ente/seed.card.json" ]; then
232        echo "     ⚠ el árbol no tiene semilla: no hay dónde componer las Cards" >&2
233    else
234        # shellcheck disable=SC2086
235        if ./target/release/takana --store "$STORE" service-cards $_svc > "work/.cards-$_cv-$_cm.json" 2>/dev/null \
236           && python3 scripts/gnome/inyectar-cards.py "$C/ente/seed.card.json" \
237                "work/.cards-$_cv-$_cm.json" "$C/etc/arje/cards.d" >/dev/null; then
238            echo "     semilla: $(python3 -c 'import json,sys; print(len(json.load(open(sys.argv[1]))))' "work/.cards-$_cv-$_cm.json") card(s) compuestas · Entes: $(python3 -c 'import json,sys; print(", ".join(e.get("label","?") for e in json.load(open(sys.argv[1])).get("genesis",[])))' "$C/ente/seed.card.json")"
239        else
240            echo "     ✗ no pude componer la semilla: esta imagen arrancaría sin escritorio" >&2
241            exit 1
242        fi
243    fi
244    L="$LOCAL/$_cv-$_cm"
245    rm -rf "$L" 2>/dev/null || sudo rm -rf "$L"
246    if ! cp -a "$C" "$L" 2>/dev/null; then
247        rm -rf "$L" 2>/dev/null || sudo rm -rf "$L"
248        echo "     (hay ficheros que sólo root puede leer: copiando con privilegio)"
249        sudo cp -a "$C" "$L" || { echo "     ✗ no pude copiar el árbol ni con privilegio" >&2; exit 1; }
250    fi
251    rm -rf "$C" 2>/dev/null || sudo rm -rf "$C"
252    echo "     árbol local: $(du -sm "$L" | cut -f1) MiB"
253}
254
255for v in $VARIANTES; do
256    echo
257    echo "════ $v ════════════════════════════════════════════════════════════════════════"
258
259  if echo " $(medios_de "$v") " | grep -q ' run '; then
260    # ⚠ **El fichero único y el USB son DOS MEDIOS INDEPENDIENTES, y el primero tiene un techo
261    # físico que el segundo no tiene.** El autoextraíble carga el instalador ENTERO en RAM —en RAM
262    # viven a la vez el initramfs comprimido y su contenido— así que su generador se niega por
263    # encima del 40 % de la memoria. Con el firmware adentro (1047 MiB) el rootfs pasa de 3 GiB y
264    # esa negativa es CORRECTA; lo que estaba mal era que `exit 1` se llevaba puesto el USB, que no
265    # tiene ese límite porque corre desde el propio medio. Medido el 2026-10-15: el hub tiene
266    # 7,7 GiB de RAM ⇒ el tope son ~3,1, y el medio de mirada no entra.
267    #
268    # Va en un subshell para que su `exit 1` muera ahí y no en el bucle. Y el USB sigue siendo
269    # fatal: ése es el medio que alguien está esperando.
270    (
271    echo "  ── el fichero que se baja (.sh) — perfiles: $(perfiles_de "$v" run)"
272    compone "$v" run
273    ROOTFS="$L" KERNEL="$KERNEL" SALIDA="$SALIDA/paquete-$v" ./scripts/instalador-paquete.sh \
274        > "work/.variante-$v-paquete.log" 2>&1 || {
275        echo "     ✗ falló el paquete — ver work/.variante-$v-paquete.log" >&2; tail -6 "work/.variante-$v-paquete.log" >&2; exit 1; }
276    PAQUETE="$SALIDA/paquete-$v" SALIDA="$SALIDA/takana-instalador-$v.sh" ./scripts/instalador-autoextraible.sh \
277        > "work/.variante-$v-run.log" 2>&1 || {
278        echo "     ✗ falló el autoextraíble — ver work/.variante-$v-run.log" >&2; tail -6 "work/.variante-$v-run.log" >&2; exit 1; }
279    echo "     $SALIDA/takana-instalador-$v.sh  $(( $(wc -c < "$SALIDA/takana-instalador-$v.sh") / 1048576 )) MiB"
280    rm -rf "$L"
281    ) || {
282        echo "     ⚠ el fichero único no se pudo armar (lo de arriba dice por qué): SIGO con el USB" >&2
283        rm -rf "$LOCAL/$v-run" 2>/dev/null || sudo rm -rf "$LOCAL/$v-run" 2>/dev/null || true
284    }
285  else
286    echo "  ── sin fichero único: este rootfs no entra en RAM en una máquina normal (sólo USB)"
287  fi
288
289    echo "  ── la imagen USB — perfiles: $(perfiles_de "$v" usb)"
290    compone "$v" usb
291    ROOTFS="$L" KERNEL="$KERNEL" IRD_TREE="work/.arbol-$v" \
292        IMG="$SALIDA/takana-instalador-usb-$v.img" ./scripts/instalador-usb.sh \
293        > "work/.variante-$v-usb.log" 2>&1 || {
294        echo "     ✗ falló el USB — ver work/.variante-$v-usb.log" >&2; tail -6 "work/.variante-$v-usb.log" >&2; exit 1; }
295    echo "     $SALIDA/takana-instalador-usb-$v.img  $(( $(wc -c < "$SALIDA/takana-instalador-usb-$v.img") / 1048576 )) MiB"
296    rm -rf "$L"
297done
298
299echo
300echo "✓ en $SALIDA:"
301ls -l "$SALIDA"/*.sh "$SALIDA"/*.img 2>/dev/null | awk '{printf "  %-52s %s MiB\n", $9, int($5/1048576)}'