gioser

sergio/takana

> Una distribución Linux construida con un laboratorio funcional y hermético en el > sótano, y una terminal mutable, clásica y anárquica en el piso de arriba — diseñada > desde el suelo para que una IA programadora entienda, modifique y co…

TOML 1572Shell 203Rust 109Markdown 993728 Definitions

⎇ 43461ce185c1feb0eeff1e90d524f338d70f971b scripts/instalador-variantes.sh Shell · 266 lines · 17.6 KB History raw

fix(armador): el arbol local del medio se puede poner donde haya espacio 43461ce18 · sergio ·

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"
110
111compone() {   # <variante> <medio> → deja el árbol local en $LOCAL/<variante>-<medio>
112    _cv="$1"; _cm="$2"
113    C="$COMPOSICION/$_cv-$_cm"
114    # `cp -al`: el piso entra por hardlinks, que en el mismo filesystem es gratis. Un `cp -a` de
115    # 265 MiB por variante es tiempo y disco que no hacen falta.
116    rm -rf "$C"; cp -al "$PISO" "$C"
117    chmod -R u+w "$C" 2>/dev/null || true
118    # ⚠ **Cada perfil se hidrata en SU PROPIO árbol y después se funden**, y no uno encima de otro
119    # con `--keep`. La razón es la auditoría del bit de privilegio, que corre contra las
120    # declaraciones `[[setuid]]` DEL PERFIL QUE SE ESTÁ HIDRATANDO: al poner `escritorio-mirada`
121    # encima de `base`, veía el `doas` 4755 que dejó `base` —declarado, legítimo— y lo denunciaba
122    # como «un bit que nadie declaró». La auditoría tiene razón en lo suyo; el que estaba mal era
123    # el método. Medido el 2026-09-23.
124    for p in $(perfiles_de "$_cv" "$_cm"); do
125        echo "  ── perfil $p"
126        H="$COMPOSICION/$_cv-$_cm-$p"; rm -rf "$H"
127        python3 scripts/hydrate-profile.py "$p" --into "$H" --store "$STORE" \
128            > "work/.variante-$_cv-$p.log" 2>&1 || {
129            echo "     ✗ falló la hidratación de $p — ver work/.variante-$_cv-$p.log" >&2
130            grep -A6 'SIN artefacto\|✗' "work/.variante-$_cv-$p.log" | head -14 >&2
131            exit 1; }
132        # `-n` (no pisar): si dos perfiles traen el mismo fichero es el mismo artefacto, así que
133        # gana el primero y da igual cuál sea. Pisar daría el mismo resultado y un error si el
134        # hardlink ya existe.
135        chmod -R u+w "$H" 2>/dev/null || true
136        # ⚠ **Un `-n` silencioso es una decisión escondida.** Cuando dos perfiles traen el MISMO
137        # camino gana el primero, y con un solo escritorio eso es siempre el mismo artefacto y da
138        # igual. Con cinco escritorios en la misma imagen ya no: dos de ellos pueden querer el
139        # mismo `/etc/xdg/...` o el mismo `.desktop`, y quedarse callado significa que uno pisa al
140        # otro sin que nadie lo sepa. No se resuelve acá —hace falta saber CUÁL gana y por qué—
141        # pero se CUENTA, que es lo mínimo para que exista la pregunta.
142        _antes=$(find "$C" ! -type d 2>/dev/null | wc -l)
143        _trae=$(find "$H" ! -type d 2>/dev/null | wc -l)
144        ( cd "$H" && find . -type d -exec mkdir -p "$C/{}" \; ) 2>/dev/null || true
145        # ── UN SYMLINK A BUSYBOX no tapa el binario REAL que necesita el bit ──────────────────────
146        # Ningún perfil declara `busybox`, pero el PISO lo trae horneado con sus ~331 symlinks, y el
147        # piso entra primero: con `-n`, `bin/su → busybox` gana sobre el `bin/su` de shadow. El bit
148        # de privilegio se aplicó sobre el árbol del perfil —donde ESE `bin/su` es el binario real y
149        # quedó 4755— y la fusión lo descartaba, dejando la capacidad muerta. Medido el 2026-10-15:
150        # `su`, `passwd`, `mount` y `umount` eran symlinks a un busybox sin bit.
151        #
152        # Se liberan SÓLO las rutas con `[[setuid]]` declarado, y el criterio es duro: **a un symlink
153        # no se le puede poner el bit**, así que un symlink ahí es una capacidad muerta por
154        # construcción. Los otros ~325 no se tocan — reemplazar un applet por un binario con otras
155        # banderas puede romper un script del arranque, y eso es el trabajo de
156        # `docs/plan-botar-busybox.md`, con su propia medición.
157        _recetas_p=""
158        for _pk in $(python3 scripts/targets.py "$p" 2>/dev/null); do
159            [ -f "recipes/$_pk.toml" ] && _recetas_p="$_recetas_p recipes/$_pk.toml"
160        done
161        _liberados=0
162        if [ -n "$_recetas_p" ] && [ -x ./target/release/takana ]; then
163            for _sp in $(./target/release/takana setuid $_recetas_p --json 2>/dev/null \
164                | python3 -c 'import json,sys
165try:
166    print("\n".join(x["path"] for x in json.load(sys.stdin)))
167except Exception:
168    pass' 2>/dev/null); do
169                [ -L "$C/$_sp" ] || continue
170                [ -f "$H/$_sp" ] && [ ! -L "$H/$_sp" ] || continue
171                case "$(readlink "$C/$_sp")" in
172                *busybox*)
173                    rm -f "$C/$_sp"
174                    echo "     · $_sp: el symlink a busybox del piso NO tapa al de $p (el bit no va en un symlink)"
175                    _liberados=$((_liberados + 1)) ;;
176                esac
177            done
178        fi
179        [ "$_liberados" -gt 0 ] && echo "     ✓ $_liberados binario(s) privilegiado(s) liberado(s) del symlink heredado"
180        ( cd "$H" && find . ! -type d -exec cp -a -l -n {} "$C/{}" \; ) 2>/dev/null || true
181        _despues=$(find "$C" ! -type d 2>/dev/null | wc -l)
182        _choques=$(( _antes + _trae - _despues ))
183        [ "$_choques" -gt 0 ] && echo "     ⚠ $_choques fichero(s) ya estaban y NO se pisaron (gana el primero)"
184        rm -rf "$H"
185        echo "     $(grep -oE '[0-9]+/[0-9]+' "work/.variante-$_cv-$p.log" | tail -1) artefactos · acumulado $(du -sm "$C" | cut -f1) MiB"
186    done
187    # ── el árbol tiene que quedar en el MISMO montaje que el stage del ensamblado ─────────────
188    # ⚠ **Algunos artefactos traen ficheros que el usuario normal no puede LEER** —ModemManager
189    # instala sus `fcc-unlock.available.d/*` en 0500, que es como vienen de upstream— así que copiar
190    # el árbol pide privilegio. No se hace `chown`: `cp -a` como root conserva dueño y modo, que es
191    # justo lo que la imagen tiene que llevar. Aparece en cuanto entra un escritorio (sway, cosmic,
192    # kde); las variantes chicas nunca lo tocaron. Medido el 2026-09-23.
193    # ── LA SEMILLA DEL MEDIO: quién arranca el escritorio ─────────────────────────────────────
194    # Medido el 2026-10-15: la semilla del piso trae `hammerd`, `console-getty` y `sshd` y nada más,
195    # y este armador no la tocaba ⇒ **el medio arrancaba a una consola de texto, con el escritorio
196    # adentro y nadie llamándolo**. Es la figura de `foot` una vuelta más arriba, y el propio
197    # `targets.py --services` la venía denunciando: «`mirada-compositor` está en la imagen y TRAE
198    # este servicio, pero el perfil no lo arranca».
199    #
200    # Las Cards NO se escriben acá: `service-cards` es la ÚNICA traducción `[[service]]` → Card y
201    # `inyectar-cards.py` la única que compone la seed (idempotente por label, con `os.replace`
202    # porque la seed es un hardlink al store). Es el mismo par que usan `servidor-image.sh` y los
203    # armadores de gnome/kde/cosmic; mirada era el único que no lo hacía.
204    _svc=""
205    for p in $(perfiles_de "$_cv" "$_cm"); do
206        _svc="$_svc $(python3 scripts/targets.py --service-paths "$p" 2>/dev/null | tr '\n' ' ')"
207    done
208    _svc=$(echo $_svc)
209    if [ -z "$_svc" ]; then
210        echo "     ⚠ ningún servicio habilitado en los perfiles: NADA arrancaría el escritorio" >&2
211    elif [ ! -r "$C/ente/seed.card.json" ]; then
212        echo "     ⚠ el árbol no tiene semilla: no hay dónde componer las Cards" >&2
213    else
214        # shellcheck disable=SC2086
215        if ./target/release/takana --store "$STORE" service-cards $_svc > "work/.cards-$_cv-$_cm.json" 2>/dev/null \
216           && python3 scripts/gnome/inyectar-cards.py "$C/ente/seed.card.json" \
217                "work/.cards-$_cv-$_cm.json" "$C/etc/arje/cards.d" >/dev/null; then
218            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")"
219        else
220            echo "     ✗ no pude componer la semilla: esta imagen arrancaría sin escritorio" >&2
221            exit 1
222        fi
223    fi
224    L="$LOCAL/$_cv-$_cm"
225    rm -rf "$L" 2>/dev/null || sudo rm -rf "$L"
226    if ! cp -a "$C" "$L" 2>/dev/null; then
227        rm -rf "$L" 2>/dev/null || sudo rm -rf "$L"
228        echo "     (hay ficheros que sólo root puede leer: copiando con privilegio)"
229        sudo cp -a "$C" "$L" || { echo "     ✗ no pude copiar el árbol ni con privilegio" >&2; exit 1; }
230    fi
231    rm -rf "$C" 2>/dev/null || sudo rm -rf "$C"
232    echo "     árbol local: $(du -sm "$L" | cut -f1) MiB"
233}
234
235for v in $VARIANTES; do
236    echo
237    echo "════ $v ════════════════════════════════════════════════════════════════════════"
238
239  if echo " $(medios_de "$v") " | grep -q ' run '; then
240    echo "  ── el fichero que se baja (.sh) — perfiles: $(perfiles_de "$v" run)"
241    compone "$v" run
242    ROOTFS="$L" KERNEL="$KERNEL" SALIDA="$SALIDA/paquete-$v" ./scripts/instalador-paquete.sh \
243        > "work/.variante-$v-paquete.log" 2>&1 || {
244        echo "     ✗ falló el paquete — ver work/.variante-$v-paquete.log" >&2; tail -6 "work/.variante-$v-paquete.log" >&2; exit 1; }
245    PAQUETE="$SALIDA/paquete-$v" SALIDA="$SALIDA/takana-instalador-$v.sh" ./scripts/instalador-autoextraible.sh \
246        > "work/.variante-$v-run.log" 2>&1 || {
247        echo "     ✗ falló el autoextraíble — ver work/.variante-$v-run.log" >&2; tail -6 "work/.variante-$v-run.log" >&2; exit 1; }
248    echo "     $SALIDA/takana-instalador-$v.sh  $(( $(wc -c < "$SALIDA/takana-instalador-$v.sh") / 1048576 )) MiB"
249    rm -rf "$L"
250  else
251    echo "  ── sin fichero único: este rootfs no entra en RAM en una máquina normal (sólo USB)"
252  fi
253
254    echo "  ── la imagen USB — perfiles: $(perfiles_de "$v" usb)"
255    compone "$v" usb
256    ROOTFS="$L" KERNEL="$KERNEL" IRD_TREE="work/.arbol-$v" \
257        IMG="$SALIDA/takana-instalador-usb-$v.img" ./scripts/instalador-usb.sh \
258        > "work/.variante-$v-usb.log" 2>&1 || {
259        echo "     ✗ falló el USB — ver work/.variante-$v-usb.log" >&2; tail -6 "work/.variante-$v-usb.log" >&2; exit 1; }
260    echo "     $SALIDA/takana-instalador-usb-$v.img  $(( $(wc -c < "$SALIDA/takana-instalador-usb-$v.img") / 1048576 )) MiB"
261    rm -rf "$L"
262done
263
264echo
265echo "✓ en $SALIDA:"
266ls -l "$SALIDA"/*.sh "$SALIDA"/*.img 2>/dev/null | awk '{printf "  %-52s %s MiB\n", $9, int($5/1048576)}'