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…
la imagen USB, para cuando el salto no se puede — y tres bugs que sólo se ven por ese camino
1#!/bin/sh
2# takana-install-partition.sh — instalar takana EN UNA PARTICIÓN, sin tocar la tabla ni las vecinas.
3#
4# ── QUÉ LO SEPARA DE LOS OTROS DOS INSTALADORES ────────────────────────────────────────────────
5# `install-image-efi.sh` fabrica una IMAGEN de disco entera, y `takana-live-install.sh` reparticiona
6# el DISCO entero (`o` en fdisk = tabla nueva). Los dos presuponen que el disco es nuestro. Éste
7# presupone lo contrario: **el disco es de otro y takana llega de visita**.
8#
9# - NO escribe la tabla de particiones. Ni una vez. No invoca fdisk/sfdisk/parted.
10# (La única excepción es `--use-free-space`, que AÑADE una entrada en un hueco sin asignar y no
11# modifica ninguna de las existentes. Se dice aparte porque es la única vez que la tabla cambia.)
12# - Formatea EXACTAMENTE una partición: la que se le nombra.
13# - Reusa la ESP que ya existe, y escribe sólo dentro de `\EFI\takana\` — la ruta de VENDOR, que
14# es nuestra. `\EFI\BOOT\BOOTX64.EFI` es tierra de nadie (Windows la repuebla) y **no se pisa**
15# si ya existe, salvo `--claim-fallback` explícito.
16# - Registra la entrada NVRAM propia (`takana boot entry add`, ADR 0018) tras hacer un `backup`
17# del estado de arranque. Convivir, no desplazar.
18#
19# ⚠ **Lo que este instalador NO hace, a propósito: redimensionar.** Encoger pide desmontar el
20# filesystem (ext4 sólo crece online), y desmontar la partición donde estás corriendo no se puede.
21# Eso es física, no una carencia del script: el redimensionado vive en el instalador que corre desde
22# OTRO medio. Acá la partición destino tiene que existir y estar libre.
23#
24# Uso:
25# sudo scripts/takana-install-partition.sh --root-part /dev/nvme0n1p5 --esp /dev/nvme0n1p1
26# # prueba sin hardware (dos ficheros pre-dimensionados, sin root):
27# scripts/takana-install-partition.sh --root-part work/p-root.img --esp work/p-esp.img --no-nvram
28#
29# Opciones:
30# --root-part <dev|PARTUUID=…|UUID=…|LABEL=…> DESTINO. Se formatea ext4 con LABEL=hammer-root.
31# Lo ÚNICO destructivo. **Usá PARTUUID=**: los nombres nvmeXn1 NO son
32# estables entre arranques (medido) y el kexec cambia quién enumera.
33# --survey mirar y NO tocar: el censo del terreno de esta máquina, con el
34# PARTUUID de cada partición y qué se puede usar. Empezá por acá.
35# --json (con --survey) el mismo censo en JSON. Es el CONTRATO que consume
36# una cara gráfica: `takana metal survey --json` lo envuelve.
37# (sin destino) modo INTERACTIVO: muestra el censo y te deja elegir. Es lo que hace
38# que un mismo medio sirva en cualquier máquina.
39# --use-free-space no formatear nada existente: crear la partición en el hueco sin
40# asignar más grande de `--disk` e instalar ahí. Al lado, no encima.
41# --on-active-root <modo> qué hacer si `--root-part` ES la raíz viva (auto|kexec|free-space|abort).
42# `auto` (def) = intentar kexec y, si esta máquina no puede, espacio libre.
43# --esp <dev|fichero> ESP existente a poblar (FAT). Sin ella no hay arranque.
44# --disk <dev> --esp-part N para la entrada NVRAM; si no se dan, se deducen del `--esp`.
45# --claim-fallback además, escribir \EFI\BOOT\BOOTX64.EFI (pisa lo que haya ahí).
46# --no-nvram no tocar la NVRAM (pruebas, o firmware que se registra a mano).
47# --yes no preguntar (para guiones; en interactivo pide confirmación).
48# Variables: ROOTFS KERNEL BUSYBOX (como install-image-efi.sh) · STAGE (def work/.install-part-stage)
49set -eu
50ROOT="$(cd "$(dirname "$0")/.." && pwd)"; cd "$ROOT"
51
52DEST=""; ESP=""; DISK=""; ESP_PART=""; CLAIM_FALLBACK=""; NO_NVRAM=""; ASSUME_YES=""
53USE_FREE=""; ON_ACTIVE="${ON_ACTIVE:-auto}"; SOLO_CENSO=""; CENSO_JSON=""
54while [ $# -gt 0 ]; do
55 case "$1" in
56 --root-part) DEST="${2:?}"; shift 2 ;;
57 --esp) ESP="${2:?}"; shift 2 ;;
58 --disk) DISK="${2:?}"; shift 2 ;;
59 --esp-part) ESP_PART="${2:?}"; shift 2 ;;
60 --claim-fallback) CLAIM_FALLBACK=1; shift ;;
61 --no-nvram) NO_NVRAM=1; shift ;;
62 --survey) SOLO_CENSO=1; shift ;;
63 --json) CENSO_JSON=1; shift ;;
64 --use-free-space) USE_FREE=1; shift ;;
65 --on-active-root) ON_ACTIVE="${2:?}"; shift 2 ;;
66 --yes|-y) ASSUME_YES=1; shift ;;
67 -h|--help) sed -n '2,40p' "$0"; exit 0 ;;
68 *) echo "opción desconocida: $1 (--help)" >&2; exit 2 ;;
69 esac
70done
71# Sin destino no se aborta: se PREGUNTA. Eso es lo que separa un instalador de un guion que hay que
72# preparar por máquina. Sólo si tampoco hay con quién hablar (sin terminal) se pide el parámetro.
73NECESITA_ELEGIR=""
74if [ -z "$DEST" ] && [ -z "$USE_FREE" ] && [ -z "$SOLO_CENSO" ]; then NECESITA_ELEGIR=1; fi
75case "$ON_ACTIVE" in auto|kexec|free-space|abort) ;; *) echo "--on-active-root: auto|kexec|free-space|abort" >&2; exit 2 ;; esac
76
77# ── Las herramientas, ANTES que nada ───────────────────────────────────────────────────────────
78# Se resuelven acá arriba y no junto a su uso porque `--use-free-space` necesita `sfdisk` durante
79# las GUARDAS, o sea antes de tocar nada. Salen del store por hash vigente; `TOOL_<binario>=` las
80# inyecta cuando no hay store (dentro del initramfs de un instalador, p. ej.).
81. "$(dirname "$0")/lib/herramientas-desde-store.sh"
82SFDISK=$(herramienta util-linux sbin/sfdisk sfdisk) || exit 1
83# Releer la tabla es su propio problema: tras añadir una entrada, el kernel NO se entera solo y el
84# device nuevo no aparece. `partx -a` se lo dice; `blockdev --rereadpt` es el ioctl crudo, que falla
85# si alguna partición del disco está montada — por eso se intentan los dos, en ese orden. Los dos
86# salen del `util-linux` sellado: en el anfitrión musl no existe ninguno (ni `partprobe`).
87PARTX=$(herramienta util-linux usr/sbin/partx partx 2>/dev/null || echo "")
88BLOCKDEV=$(herramienta util-linux sbin/blockdev blockdev 2>/dev/null || echo "")
89# ⚠ **MIRAR no puede costar lo mismo que ESCRIBIR.** Todo lo de abajo —los tres binarios de mtools,
90# mke2fs y el bzImage— sólo hace falta para INSTALAR, y hasta el 2026-09-23 se exigía también para
91# `--survey`: en una máquina ajena, sin store y sin kernel del corpus, el censo moría con «no
92# encuentro el kernel EFI-stub» ANTES de imprimir una sola línea del terreno. Y el censo es
93# justamente lo primero que se corre en una máquina desconocida, donde nada de eso existe todavía.
94# El censo necesita `sfdisk` y `blkid`, nada más.
95if [ -z "$SOLO_CENSO" ]; then
96 MKE2FS=$(herramienta e2fsprogs sbin/mke2fs mke2fs) || exit 1
97 MMD=$(herramienta mtools usr/bin/mmd mmd) || exit 1
98 MCOPY=$(herramienta mtools usr/bin/mcopy mcopy) || exit 1
99 MDIR=$(herramienta mtools usr/bin/mdir mdir) || exit 1
100 KERNEL="${KERNEL:-$(ls -dt store/*-linux-metal/boot/bzImage /store/*-linux-metal/boot/bzImage 2>/dev/null | head -1)}"
101 [ -n "${KERNEL:-}" ] && [ -r "$KERNEL" ] || { echo "no encuentro el kernel EFI-stub (set KERNEL=)" >&2; exit 1; }
102fi
103HAMMER="${HAMMER:-$ROOT/target/release/takana}"
104
105# ── LAS GUARDAS VAN PRIMERO, Y SON EL PUNTO DE ESTE SCRIPT ─────────────────────────────────────
106# Un instalador que borra de más falla del lado silencioso: el usuario se entera cuando reinicia y
107# le falta su /home. Cada guarda de abajo existe porque su ausencia es irreversible.
108es_bloque() { [ -b "$1" ]; }
109nombre_kernel() { basename "$(readlink -f "$1")"; }
110disco_de() { echo "/dev/$(basename "$(readlink -f "/sys/class/block/$(nombre_kernel "$1")/..")")"; }
111
112# ── resolver_dev <spec> — NUNCA confíes en `/dev/nvme1n1p6` ───────────────────────────────────
113# ⚠ **Los nombres `nvmeXn1` NO son estables entre arranques, y esto está MEDIDO, no temido**
114# (2026-09-23, QEMU con dos NVMe): el disco declarado primero en la línea de comandos apareció
115# como `nvme1n1` y el segundo como `nvme0n1` — **cruzados**. Salen del orden de sondeo del bus, no
116# del orden físico ni del que vos ves hoy con `lsblk`.
117#
118# Para un instalador eso no es una molestia: es la diferencia entre formatear la raíz vieja y
119# formatear el disco de Windows del usuario. Y el salto por kexec lo agrava, porque el kernel que
120# enumera después del salto NO es el que te dio los nombres antes.
121#
122# Por eso se acepta —y se recomienda— direccionar por identidad y no por posición:
123# PARTUUID=<uuid> el de la TABLA GPT. **No cambia al formatear la partición**, así que es el
124# correcto para nombrar un destino que se va a formatear.
125# UUID=<uuid> el del FILESYSTEM. Sirve para identificar lo que hay HOY (y muere al formatear).
126# LABEL=<etiqueta> cómodo, pero puede estar repetido en dos discos.
127resolver_dev() {
128 case "$1" in
129 /dev/*) echo "$1"; return 0 ;;
130 PARTUUID=*|partuuid=*) _rd_v="${1#*=}"; _rd_por=partuuid ;;
131 UUID=*|uuid=*) _rd_v="${1#*=}"; _rd_por=uuid ;;
132 LABEL=*|label=*) _rd_v="${1#*=}"; _rd_por=label ;;
133 *) echo "$1"; return 0 ;; # un fichero (pruebas)
134 esac
135 # `findfs` resuelve UUID y LABEL en busybox y en util-linux; para PARTUUID no se puede contar
136 # con él, así que ese caso se resuelve leyendo la TABLA con sfdisk — que es donde vive el dato.
137 if [ "$_rd_por" != partuuid ] && command -v findfs >/dev/null 2>&1; then
138 _rd_d=$(findfs "$(printf '%s' "$_rd_por" | tr 'a-z' 'A-Z')=$_rd_v" 2>/dev/null || true)
139 [ -n "${_rd_d:-}" ] && { echo "$_rd_d"; return 0; }
140 fi
141 # `/dev/loop?` está en la lista porque el banco de pruebas trabaja sobre loop devices: sin él,
142 # la resolución por identidad quedaba SIN COBERTURA en el único sitio donde se puede probar sin
143 # arriesgar un disco de verdad. Lo detectó el propio banco al pasar a PARTUUID.
144 for _rd_disco in /dev/nvme?n? /dev/sd? /dev/vd? /dev/mmcblk? /dev/loop? /dev/loop??; do
145 [ -b "$_rd_disco" ] || continue
146 case "$_rd_por" in
147 partuuid)
148 _rd_hit=$("$SFDISK" -d "$_rd_disco" 2>/dev/null \
149 | awk -v u="$(printf '%s' "$_rd_v" | tr 'A-Z' 'a-z')" \
150 'tolower($0) ~ ("uuid=" u) {print $1; exit}')
151 ;;
152 *)
153 _rd_hit=$(for _rd_p in "$_rd_disco"*; do
154 [ -b "$_rd_p" ] || continue
155 blkid "$_rd_p" 2>/dev/null | grep -qi "$(printf '%s' "$_rd_por" | tr 'a-z' 'A-Z')=\"$_rd_v\"" && { echo "$_rd_p"; break; }
156 done)
157 ;;
158 esac
159 [ -n "${_rd_hit:-}" ] && { echo "$_rd_hit"; return 0; }
160 done
161 echo "takana-install-partition: no encuentro ninguna partición con $1" >&2
162 echo " (mirá 'lsblk -o NAME,SIZE,PARTUUID,LABEL' en el sistema vivo)" >&2
163 return 1
164}
165
166# ── releer_tabla <disco> — que el KERNEL se entere de la entrada nueva ────────────────────────
167# Medido el 2026-09-23 en el banco: `sfdisk --append` escribió la entrada perfectamente y
168# `/dev/loop0p4` NO APARECIÓ. El script lo detectó y abortó —bien— pero el motivo estaba fuera de
169# él: en el anfitrión musl no existen `partprobe`, `partx` ni `blockdev`, así que los tres intentos
170# de releer la tabla eran no-ops silenciosos. La tabla en disco y la que el kernel tiene en memoria
171# son dos cosas distintas, y nada avisa cuando divergen.
172# ⚠ Y el comando es `partx -u`, NO `partx -a`: medido en el banco el mismo día. `-a` («añadir»)
173# intenta registrar TODAS las particiones y falla entero —«error adding partitions 1-4»— cuando las
174# viejas ya están, que es siempre en este flujo. `-u` («actualizar») añade lo que falte y deja en paz
175# lo que ya hay. El nombre de la opción sugiere justo lo contrario de lo que sirve acá.
176releer_tabla() {
177 [ -n "${PARTX:-}" ] && "$PARTX" -u "$1" >/dev/null 2>&1 && return 0
178 [ -n "${PARTX:-}" ] && "$PARTX" -a "$1" >/dev/null 2>&1 && return 0
179 [ -n "${BLOCKDEV:-}" ] && "$BLOCKDEV" --rereadpt "$1" >/dev/null 2>&1 && return 0
180 partprobe "$1" 2>/dev/null || true
181}
182
183# ── EL CENSO DEL TERRENO ───────────────────────────────────────────────────────────────────────
184# Un instalador que hay que preparar a mano para cada máquina no es un instalador. Esto enumera lo
185# que hay —en CUALQUIER máquina— y dice de cada partición si se puede usar, si no se debe tocar y
186# por qué. Es la base del modo interactivo y de la recomendación automática.
187#
188# Dos fuentes, porque ninguna sola alcanza:
189# · `sfdisk -d` da el TIPO de la tabla (GUID) y el **PARTUUID**, que es la identidad estable;
190# · `blkid` da lo que hay ADENTRO (ntfs, crypto_LUKS, ext4, swap…), que el tipo GPT miente
191# a menudo: media instalación de Windows vive en «datos básicos», y un LUKS puede
192# estar en una partición marcada como Linux.
193# Y `/proc/mounts` dice qué está en uso AHORA, que es lo único que distingue «vacía» de «tu raíz».
194
195# ── raiz_viva_majmin — quién es «/» de verdad ─────────────────────────────────────────────────
196# ⚠ **`/proc/mounts` NO alcanza para saber cuál es la raíz viva, y esto está MEDIDO** (2026-09-23,
197# sobre el anfitrión de este hub): la línea de «/» dice `/dev/root`, un nombre que no existe en
198# `/dev` ni casa con ninguna partición. Comparar por nombre daba «ninguna partición es la raíz» y el
199# censo **ofrecía formatear la raíz del sistema que estaba corriendo**. Pasa también con `UUID=…`
200# en la cmdline, con initramfs que montan por label, y con `/dev/mapper/*`.
201#
202# Lo que sí es inequívoco es el NÚMERO de dispositivo: `stat` lo da para «/» y cada partición lo
203# publica en `/sys/class/block/<n>/dev`. La descomposición es la de Linux (12 bits de major, minor
204# partido en dos), no el `/256` ingenuo, que se rompe justo en NVMe (major 259).
205raiz_viva_majmin() {
206 _rv_hex=$(stat -c %D / 2>/dev/null) || return 1
207 [ -n "${_rv_hex:-}" ] || return 1
208 _rv_d=$(( 0x$_rv_hex )) 2>/dev/null || return 1
209 _rv_maj=$(( (_rv_d >> 8) & 0xfff ))
210 _rv_min=$(( (_rv_d & 0xff) | ((_rv_d >> 12) & 0xfff00) ))
211 echo "${_rv_maj}:${_rv_min}"
212}
213RAIZ_MAJMIN="$(raiz_viva_majmin || true)"
214
215es_la_raiz_viva() { # <dev>
216 [ -n "${RAIZ_MAJMIN:-}" ] || return 1
217 _er_n=$(nombre_kernel "$1")
218 [ "$(cat "/sys/class/block/$_er_n/dev" 2>/dev/null)" = "$RAIZ_MAJMIN" ]
219}
220
221GUID_ESP="c12a7328-f81f-11d2-ba4b-00a0c93ec93b"
222GUID_MSR="e3c9e316-0b5c-4db8-817d-f92df00215ae"
223GUID_WINRE="de94bba4-06d1-4d40-a16a-bfd50179d6ac"
224GUID_MSBASIC="ebd0a0a2-b9e5-4433-87c0-68b6b72699c7"
225GUID_LINUX="0fc63daf-8483-4772-8e79-3d69d8477de4"
226GUID_LUKS="ca7d7ccb-63ed-4c53-861c-1742536059cc"
227GUID_SWAP="0657fd6d-a4ab-43c4-84e5-0933c84b4f4f"
228
229discos_del_sistema() {
230 for _dd in /dev/nvme?n? /dev/sd? /dev/vd? /dev/mmcblk? /dev/loop? /dev/loop??; do
231 [ -b "$_dd" ] || continue
232 # Tamaño 0 = un `loop` libre sin fichero detrás. Existen por docenas y no son discos: si se
233 # listan, el censo se llena de ruido y lo que importa deja de verse. Un guardián ruidoso se
234 # ignora igual que uno mudo.
235 [ "$(cat "/sys/class/block/$(basename "$(readlink -f "$_dd")")/size" 2>/dev/null || echo 0)" -gt 0 ] || continue
236 echo "$_dd"
237 done
238}
239
240mib_de_sectores() { echo $(( ${1:-0} / 2048 )); }
241
242# ── mib_minimos — el piso, calculado UNA vez ──────────────────────────────────────────────────
243# `mib_necesarios` mide el árbol y no es gratis (`du -sm` sobre el rootfs); el censo la llamaría una
244# vez por partición. Se cachea en una global, que es la única forma de memoizar en sh.
245mib_minimos() {
246 [ -n "${MIB_MINIMOS:-}" ] || MIB_MINIMOS=$(mib_necesarios)
247 echo "$MIB_MINIMOS"
248}
249
250# clasificar <guid-tipo> <fstype> <montaje> [mib] → VEREDICTO|ETIQUETA
251# El veredicto es lo que decide el menú: SOLO_ESP, NO_TOCAR, CANDIDATA, RAIZ_VIVA, EN_USO.
252clasificar() {
253 _cl_guid=$(printf '%s' "${1:-}" | tr 'A-Z' 'a-z')
254 _cl_fs="${2:-}"; _cl_mnt="${3:-}"; _cl_mib="${4:-0}"
255 case "$_cl_guid" in
256 "$GUID_ESP") echo "SOLO_ESP|ESP (partición de arranque EFI)"; return ;;
257 "$GUID_MSR") echo "NO_TOCAR|reservada de Microsoft"; return ;;
258 "$GUID_WINRE") echo "NO_TOCAR|recuperación de Windows"; return ;;
259 "$GUID_SWAP") echo "NO_TOCAR|swap"; return ;;
260 # «Datos básicos de Microsoft» es el tipo que Windows le pone a sus volúmenes. Aunque el
261 # filesystem no se reconozca —puede estar cerrado por BitLocker, o simplemente vacío— no se
262 # ofrece: el coste de equivocarse acá es el disco de otro sistema operativo.
263 "$GUID_MSBASIC") echo "NO_TOCAR|volumen de datos de Windows (tipo GPT «basic data»)"; return ;;
264 # ⚠ El tipo LUKS de la TABLA tiene que bastar por sí solo. Estaba definido y **no se
265 # consultaba**: en la prueba con el layout del usuario, una partición marcada como LUKS en
266 # GPT salió ofrecida como «se puede usar» porque `blkid` no veía cabecera dentro. Un
267 # contenedor cifrado es justo el caso donde no se puede mirar adentro para decidir — el
268 # único dato disponible es el tipo, así que el tipo manda.
269 "$GUID_LUKS") echo "NO_TOCAR|VOLUMEN CIFRADO (LUKS, por tipo de la tabla)"; return ;;
270 esac
271 case "$_cl_fs" in
272 crypto_LUKS) echo "NO_TOCAR|VOLUMEN CIFRADO (LUKS) — lo que hay dentro no se puede ver desde acá"; return ;;
273 ntfs) echo "NO_TOCAR|NTFS (Windows u otro sistema)"; return ;;
274 vfat|msdos) echo "NO_TOCAR|FAT — puede ser una ESP o datos compartidos"; return ;;
275 swap) echo "NO_TOCAR|swap"; return ;;
276 BitLocker|bitlocker) echo "NO_TOCAR|BitLocker"; return ;;
277 esac
278 if [ "$_cl_mnt" = "/" ]; then
279 # ⚠ **La raíz viva no siempre es del usuario.** Arrancado desde un USB o una imagen, la raíz
280 # viva es EL MEDIO — y ofrecerlo como destino es ofrecer formatear el instalador mientras
281 # corre. El medio se sabe en el arranque (`TAKANA_MEDIO`, lo pone el `/init` mirando si el
282 # cmdline trae `rdinit=`), no se adivina acá.
283 if [ -n "${TAKANA_MEDIO:-}" ]; then
284 echo "NO_TOCAR|es el MEDIO desde el que arrancaste (el instalador corre desde acá)"; return
285 fi
286 echo "RAIZ_VIVA|la raíz del sistema que está corriendo AHORA"; return
287 fi
288 if [ -n "$_cl_mnt" ]; then
289 echo "EN_USO|montada en $_cl_mnt"; return
290 fi
291 case "$_cl_fs" in
292 ext2|ext3|ext4|xfs|btrfs|f2fs) _cl_q="Linux ($_cl_fs) sin montar" ;;
293 "") _cl_q="sin filesystem reconocible" ;;
294 *) echo "NO_TOCAR|$_cl_fs (desconocido para este instalador)"; return ;;
295 esac
296 # ⚠ **Una candidata que no entra no es una candidata.** Sin esta puerta el censo de este mismo
297 # hub ofrecía `/dev/sda1` —2 MiB, sin filesystem, el hueco de arranque— como «✓ se puede usar»:
298 # el veredicto sólo miraba QUÉ hay dentro y nunca CUÁNTO cabe. Elegirla formatea algo real y
299 # muere a mitad de la copia, que es el peor momento para enterarse. El piso es el mismo número
300 # con el que se talla un hueco (`mib_necesarios`), así que las dos puertas no pueden divergir.
301 _cl_min=$(mib_minimos)
302 if [ "${_cl_mib:-0}" -lt "$_cl_min" ] 2>/dev/null; then
303 echo "NO_TOCAR|$_cl_q, pero son ${_cl_mib} M y hacen falta al menos ${_cl_min} M"; return
304 fi
305 echo "CANDIDATA|$_cl_q"
306}
307
308# censo [--solo-candidatas] → una línea por partición:
309# <dev>|<partuuid>|<mib>|<fstype>|<label>|<montaje>|<VEREDICTO>|<explicación>
310censo() {
311 _ce_solo="${1:-}"
312 for _ce_d in $(discos_del_sistema); do
313 # ⚠ Un disco SIN TABLA no es un disco vacío: puede estar formateado directo y montado —así
314 # vive el store de este hub, `/dev/sdb` con un ext4 encima y nada más—. Sin esta rama el
315 # censo lo OMITE por completo, que es la peor forma de presentar algo que existe y está en
316 # uso: invisible. Se lista, se dice que no tiene tabla, y no se ofrece.
317 if [ -z "$("$SFDISK" -d "$_ce_d" 2>/dev/null | grep "^${_ce_d}")" ]; then
318 _ce_bl=$(blkid "$_ce_d" 2>/dev/null || true)
319 _ce_fs=$(printf '%s' "$_ce_bl" | grep -o ' TYPE="[^"]*"' | head -1 | sed 's/^ TYPE="//; s/"$//')
320 _ce_lb=$(printf '%s' "$_ce_bl" | grep -o ' LABEL="[^"]*"' | head -1 | sed 's/^ LABEL="//; s/"$//')
321 _ce_mn=$(awk -v d="$_ce_d" '$1==d {print $2; exit}' /proc/mounts 2>/dev/null || true)
322 es_la_raiz_viva "$_ce_d" && _ce_mn="/"
323 _ce_sz=$(( $(cat "/sys/class/block/$(nombre_kernel "$_ce_d")/size" 2>/dev/null || echo 0) ))
324 if [ -n "$_ce_mn" ]; then _ce_v="EN_USO"; _ce_e="disco SIN TABLA de particiones, montado en $_ce_mn"
325 else _ce_v="NO_TOCAR"; _ce_e="disco SIN TABLA de particiones (${_ce_fs:-sin filesystem})"; fi
326 echo "$_ce_d|-|$(mib_de_sectores "$_ce_sz")|${_ce_fs}|${_ce_lb}|${_ce_mn}|$_ce_v|$_ce_e"
327 continue
328 fi
329 "$SFDISK" -d "$_ce_d" 2>/dev/null | grep "^${_ce_d}" | while IFS= read -r _ce_l; do
330 _ce_dev=$(printf '%s' "$_ce_l" | awk '{print $1}')
331 _ce_sz=$(printf '%s' "$_ce_l" | sed -n 's/.*size=[ ]*\([0-9]*\).*/\1/p')
332 _ce_ty=$(printf '%s' "$_ce_l" | sed -n 's/.*type=\([0-9A-Fa-f-]*\).*/\1/p')
333 _ce_uu=$(printf '%s' "$_ce_l" | sed -n 's/.*uuid=\([0-9A-Fa-f-]*\).*/\1/p')
334 _ce_bl=$(blkid "$_ce_dev" 2>/dev/null || true)
335 _ce_fs=$(printf '%s' "$_ce_bl" | grep -o ' TYPE="[^"]*"' | head -1 | sed 's/^ TYPE="//; s/"$//')
336 _ce_lb=$(printf '%s' "$_ce_bl" | grep -o ' LABEL="[^"]*"' | head -1 | sed 's/^ LABEL="//; s/"$//')
337 _ce_mn=$(awk -v d="$_ce_dev" '$1==d {print $2; exit}' /proc/mounts 2>/dev/null || true)
338 # La raíz viva se decide por número de dispositivo, no por el nombre de /proc/mounts.
339 if es_la_raiz_viva "$_ce_dev"; then _ce_mn="/"; fi
340 _ce_cl=$(clasificar "$_ce_ty" "$_ce_fs" "$_ce_mn" "$(mib_de_sectores "$_ce_sz")")
341 _ce_ver="${_ce_cl%%|*}"; _ce_exp="${_ce_cl#*|}"
342 [ "$_ce_solo" = "--solo-candidatas" ] && [ "$_ce_ver" != "CANDIDATA" ] && continue
343 echo "$_ce_dev|$_ce_uu|$(mib_de_sectores "$_ce_sz")|$_ce_fs|$_ce_lb|$_ce_mn|$_ce_ver|$_ce_exp"
344 done
345 # El espacio SIN ASIGNAR es un candidato más, y el único que no destruye nada.
346 "$SFDISK" -F "$_ce_d" 2>/dev/null | awk -v d="$_ce_d" -v min="$(mib_minimos)" \
347 'NF==4 && $1 ~ /^[0-9]+$/ { m=int($3/2048);
348 if (m >= min) print d"|-|"m"|-|-|-|LIBRE|espacio sin asignar en "d;
349 else print d"|-|"m"|-|-|-|NO_TOCAR|hueco sin asignar en "d", pero son "m" M y hacen falta al menos "min" M" }'
350 done
351}
352
353# mostrar_censo — el censo en forma de tabla, con los NO TOCAR dichos en voz alta.
354mostrar_censo() {
355 _mc_f="${1:-}"
356 echo "── el terreno de esta máquina ─────────────────────────────────────────────────"
357 [ -n "${RAIZ_MAJMIN:-}" ] || echo " ⚠ NO pude determinar cuál es la raíz viva de esta máquina: tratá TODO con sospecha."
358 printf " %-3s %-16s %-9s %-11s %s\n" "nº" "partición" "tamaño" "qué es" "veredicto"
359 _mc_n=0
360 { if [ -n "$_mc_f" ]; then cat "$_mc_f"; else censo; fi; } | while IFS='|' read -r _d _u _m _fs _lb _mn _ver _exp; do
361 _mc_n=$(( _mc_n + 1 ))
362 case "$_ver" in
363 CANDIDATA) _mc_marca="✓ se puede usar (SE BORRA lo que tenga)" ;;
364 LIBRE) _mc_marca="✓ instalar AL LADO sin borrar nada" ;;
365 RAIZ_VIVA) _mc_marca="⚡ sólo con el salto (kexec)" ;;
366 SOLO_ESP) _mc_marca="· se reusa como ESP, no se formatea" ;;
367 EN_USO) _mc_marca="· en uso" ;;
368 *) _mc_marca="✗ NO TOCAR" ;;
369 esac
370 printf " %-3s %-16s %6s M %-11s %s\n" "$_mc_n" "$_d" "$_m" "${_fs:-—}" "$_mc_marca"
371 printf " %s%s\n" "$_exp" "$( [ -n "$_lb" ] && [ "$_lb" != "-" ] && printf ' · etiqueta «%s»' "$_lb")"
372 # ⚠ **Un `a && b && c` como ÚLTIMO comando de un bucle decide el estado de salida del
373 # script entero.** Con `set -e`, si la última fila del censo no tiene PARTUUID —un disco sin
374 # tabla, un hueco libre— esta línea daba 1, el `while` daba 1, la tubería daba 1 y
375 # `mostrar_censo` MORÍA ahí: el separador de cierre no se imprimía y `--survey` salía con 1
376 # habiendo funcionado. Medido en este hub el 2026-09-23, donde la última fila es `/dev/sdc`.
377 # Un `if` no propaga nada; el `&&` sí.
378 if [ -n "$_u" ] && [ "$_u" != "-" ]; then printf " PARTUUID=%s\n" "$_u"; fi
379 done
380 echo "───────────────────────────────────────────────────────────────────────────────"
381 # Un censo VACÍO no es un error, pero callarlo se lee como «no hay nada que hacer acá». Pasa de
382 # verdad: dentro de esta jaula `/dev` no tiene un solo dispositivo de bloque.
383 if [ -z "$({ if [ -n "$_mc_f" ]; then cat "$_mc_f"; else censo; fi; } | grep -c . 2>/dev/null | grep -v '^0$')" ]; then
384 echo " (no veo NINGÚN disco desde acá — ¿estás dentro de un contenedor, o sin privilegios?)"
385 fi
386}
387
388# ── censo_json — el MISMO censo, en JSON. Es el CONTRATO con cualquier cara gráfica ───────────
389#
390# ⚠ **Existe para que no haya un segundo censo.** La tentación al poner una interfaz encima es que
391# la interfaz lea `sfdisk`/`blkid` por su cuenta y clasifique ella; ahí es donde los dos divergen y
392# uno de los dos empieza a ofrecer lo que el otro protege — y el que se equivoca formatea. El SDD 28
393# §8 ya nombra ese riesgo («un motor, tres frentes»). Entonces: UN censo, UNA clasificación, y las
394# caras consumen esto. Si `veredicto` cambia acá, cambia para todas a la vez.
395#
396# El campo `usable` es la lectura de una sola pregunta —¿se puede instalar acá?— para que una cara
397# no tenga que reimplementar el `case` de los veredictos y equivocarse en el default: lo que no
398# reconozca NO es usable.
399jstr() {
400 printf '"%s"' "$(printf '%s' "${1:-}" | sed 's/\\/\\\\/g; s/"/\\"/g; s/\t/ /g' | tr -d '\000-\010\013\014\016-\037')"
401}
402censo_json() {
403 _cj_f="${1:-}"
404 printf '{\n'
405 printf ' "version": 1,\n'
406 printf ' "raiz_viva": %s,\n' "$( [ -n "${RAIZ_MAJMIN:-}" ] && jstr "$RAIZ_MAJMIN" || printf 'null' )"
407 printf ' "particiones": [\n'
408 _cj_pri=1
409 { if [ -n "$_cj_f" ]; then cat "$_cj_f"; else censo; fi; } | while IFS='|' read -r _d _u _m _fs _lb _mn _ver _exp; do
410 [ -n "$_d" ] || continue
411 case "$_ver" in CANDIDATA|LIBRE|RAIZ_VIVA) _cj_us=true ;; *) _cj_us=false ;; esac
412 [ "$_cj_pri" = 1 ] || printf ',\n'
413 _cj_pri=0
414 printf ' {"dev": %s, "partuuid": %s, "mib": %s, "fs": %s, "etiqueta": %s, "montaje": %s, "veredicto": %s, "usable": %s, "explicacion": %s}' \
415 "$(jstr "$_d")" \
416 "$( [ "${_u:--}" = "-" ] && printf 'null' || jstr "$_u" )" \
417 "${_m:-0}" \
418 "$( [ "${_fs:--}" = "-" ] || [ -z "${_fs:-}" ] && printf 'null' || jstr "$_fs" )" \
419 "$( [ "${_lb:--}" = "-" ] || [ -z "${_lb:-}" ] && printf 'null' || jstr "$_lb" )" \
420 "$( [ "${_mn:--}" = "-" ] || [ -z "${_mn:-}" ] && printf 'null' || jstr "$_mn" )" \
421 "$(jstr "$_ver")" "$_cj_us" "$(jstr "$_exp")"
422 done
423 printf '\n ]\n}\n'
424}
425
426# ── partuuid_de <dev> — la identidad estable de una partición, leída de la TABLA ──────────────
427partuuid_de() {
428 "$SFDISK" -d "$(disco_de "$1")" 2>/dev/null \
429 | awk -v d="$1" '$1==d {for(i=1;i<=NF;i++) if ($i ~ /^uuid=/) {sub(/,$/,"",$i); sub(/^uuid=/,"",$i); print $i; exit}}'
430}
431
432# ── elegir_destino — el modo interactivo, que es lo que hace de esto un instalador ────────────
433# Sin esto hay que saber de antemano el PARTUUID de la máquina de destino, o sea preparar un medio
434# distinto por máquina. Con esto el MISMO medio sirve en cualquiera: arranca, mira y ofrece.
435# Deja la elección en DEST / USE_FREE / DISK del llamador.
436# ⚠ `/tmp` puede NO EXISTIR. Medido dentro del initramfs: el censo no pudo escribir su fichero y el
437# mensaje que salió fue «no veo ningún disco en esta máquina» — con once discos a la vista dos
438# líneas más abajo. Un diagnóstico que culpa al hardware cuando falta un directorio manda a
439# desarmar la máquina equivocada. Ahora se busca un sitio escribible y, si no hay ninguno, se dice
440# ESO.
441dir_temporal() {
442 for _dt in "${TMPDIR:-}" /tmp /run /dev/shm .; do
443 [ -n "$_dt" ] || continue
444 [ -d "$_dt" ] || continue
445 if ( : > "$_dt/.takana-escritura.$$" ) 2>/dev/null; then
446 rm -f "$_dt/.takana-escritura.$$"; echo "$_dt"; return 0
447 fi
448 done
449 return 1
450}
451
452elegir_destino() {
453 _ed_dir=$(dir_temporal) || {
454 echo "takana-install-partition: no encuentro ningún directorio donde escribir (/tmp, /run…)" >&2
455 return 1; }
456 _ed_f="$_ed_dir/.takana-censo.$$"
457 censo > "$_ed_f" 2>/dev/null
458 [ -s "$_ed_f" ] || { echo "takana-install-partition: no veo ningún disco en esta máquina" >&2; rm -f "$_ed_f"; return 1; }
459 mostrar_censo "$_ed_f"
460 echo " Lo marcado ✗ NO TOCAR no se ofrece: son sistemas de otros, volúmenes cifrados o swap."
461 echo " Elegir una ✓ BORRA lo que tenga. «Al lado» no borra nada."
462 _ed_n=0
463 printf " opciones: "
464 while IFS='|' read -r _d _u _m _fs _lb _mn _ver _exp; do
465 _ed_n=$(( _ed_n + 1 ))
466 case "$_ver" in CANDIDATA|LIBRE|RAIZ_VIVA) printf "%s " "$_ed_n" ;; esac
467 done < "$_ed_f"
468 echo
469 printf " nº (o 'no' para salir sin tocar nada): "
470 read -r _ed_sel || _ed_sel=no
471 case "$_ed_sel" in
472 ''|no|NO|n) echo " cancelado: no se tocó nada."; rm -f "$_ed_f"; return 1 ;;
473 esac
474 _ed_linea=$(sed -n "${_ed_sel}p" "$_ed_f" 2>/dev/null)
475 rm -f "$_ed_f"
476 [ -n "$_ed_linea" ] || { echo "takana-install-partition: «$_ed_sel» no es una de las opciones" >&2; return 1; }
477 _ed_dev=$(printf '%s' "$_ed_linea" | cut -d'|' -f1)
478 _ed_uu=$(printf '%s' "$_ed_linea" | cut -d'|' -f2)
479 _ed_ver=$(printf '%s' "$_ed_linea" | cut -d'|' -f7)
480 case "$_ed_ver" in
481 LIBRE) USE_FREE=1; DISK="$_ed_dev"; DEST=""
482 echo " ⇒ instalar AL LADO, en el espacio libre de $_ed_dev" ;;
483 CANDIDATA|RAIZ_VIVA)
484 # Por PARTUUID SIEMPRE que se pueda: el nombre de device puede cambiar entre
485 # este momento y el arranque siguiente (ver `resolver_dev`).
486 if [ -n "$_ed_uu" ] && [ "$_ed_uu" != "-" ]; then DEST="PARTUUID=$_ed_uu"; else DEST="$_ed_dev"; fi
487 echo " ⇒ destino: $_ed_dev ($DEST)" ;;
488 *) echo "takana-install-partition: esa partición está marcada como NO TOCAR y no se ofrece" >&2; return 1 ;;
489 esac
490 return 0
491}
492
493# ── esp_automatica [disco-del-destino] — la ESP no se pregunta si se puede deducir ────────────
494# Regla: la ESP del MISMO disco que el destino; si ahí no hay, la única del sistema. Si hay varias y
495# ninguna en ese disco, se pregunta: elegir entre las ESP de dos sistemas operativos distintos es
496# justo la clase de decisión que un instalador no debe tomar solo.
497esp_automatica() {
498 _ea_disco="${1:-}"
499 _ea_todas=$(censo | awk -F'|' '$7=="SOLO_ESP" {print $1}')
500 [ -n "$_ea_todas" ] || return 1
501 if [ -n "$_ea_disco" ]; then
502 for _ea_e in $_ea_todas; do
503 case "$_ea_e" in "$_ea_disco"*) echo "$_ea_e"; return 0 ;; esac
504 done
505 fi
506 _ea_n=$(printf '%s\n' "$_ea_todas" | grep -c .)
507 if [ "$_ea_n" = "1" ]; then printf '%s\n' "$_ea_todas"; return 0; fi
508 echo "takana-install-partition: hay $_ea_n ESP y ninguna en el disco del destino. Pasá --esp:" >&2
509 printf '%s\n' "$_ea_todas" | sed 's/^/ /' >&2
510 return 1
511}
512
513# ── mib_necesarios — cuánto pedirle al hueco ──────────────────────────────────────────────────
514# El rootfs medido + 40 %, con piso de 2 GiB. El margen no es superstición: `mke2fs` se queda con
515# ~1,5 % en metadatos y el sistema instalado tiene que poder escribir algo antes de que alguien lo
516# agrande. Un destino que entra JUSTO produce un sistema que arranca y se llena a la semana.
517mib_necesarios() {
518 _mn_r="${ROOTFS:-}"
519 [ -z "$_mn_r" ] && _mn_r=$(ls -dt store/*-product-rootfs /store/*-product-rootfs 2>/dev/null | head -1)
520 _mn_m=$(du -sm "$_mn_r" 2>/dev/null | cut -f1)
521 [ -z "${_mn_m:-}" ] && _mn_m=1024
522 _mn_m=$(( _mn_m * 14 / 10 ))
523 [ "$_mn_m" -lt 2048 ] && _mn_m=2048
524 echo "$_mn_m"
525}
526
527# ── crear_en_hueco <disco> <mib> — la ÚNICA vez que este script escribe la tabla ───────────────
528# `sfdisk --append` añade una entrada y **no reescribe las existentes**: es la diferencia entre
529# «instalar al lado» y el `o` de `takana-live-install.sh`, que empieza por tirar la tabla entera.
530# Aun así es la operación más delicada de acá, así que: se elige el hueco MÁS GRANDE, se dice cuál
531# es con sus sectores a la vista, y se pide confirmación aparte de la del formateo.
532crear_en_hueco() {
533 _ch_disco="$1"; _ch_mib="$2"
534 _ch_libre=$("$SFDISK" -F "$_ch_disco" 2>/dev/null | awk 'NF==4 && $1 ~ /^[0-9]+$/ {if ($3+0 > m) {m=$3+0; s=$1; e=$2}} END {if (m>0) print s, e, m}')
535 [ -n "$_ch_libre" ] || { echo "takana-install-partition: $_ch_disco no tiene espacio SIN ASIGNAR" >&2; return 1; }
536 _ch_start=$(echo "$_ch_libre" | cut -d' ' -f1)
537 _ch_sect=$(echo "$_ch_libre" | cut -d' ' -f3)
538 _ch_libre_mib=$(( _ch_sect / 2048 ))
539 echo " hueco más grande: ${_ch_libre_mib} MiB desde el sector ${_ch_start}" >&2
540 [ "$_ch_libre_mib" -ge "$_ch_mib" ] || {
541 echo "takana-install-partition: el hueco da ${_ch_libre_mib} MiB y hacen falta ${_ch_mib} MiB." >&2
542 echo " Nada que hacer sin encoger algo, y encoger pide otro medio." >&2; return 1; }
543 _ch_size=$(( _ch_mib * 2048 ))
544 if [ -z "$ASSUME_YES" ] && [ -t 0 ]; then
545 printf " voy a AÑADIR una partición de %s MiB a la tabla de %s (las existentes no se tocan) [escribí si] " "$_ch_mib" "$_ch_disco" >&2
546 read -r _ch_r; [ "$_ch_r" = "si" ] || { echo " cancelado." >&2; return 1; }
547 fi
548 # La lista de ANTES, para saber después cuál es la nueva por DIFERENCIA y no por su nombre.
549 # ⚠ El primer intento buscaba la línea por `start=<sector>` y nunca la encontraba: `sfdisk -d`
550 # **alinea los campos con espacios** (`start= 3614720`), así que el patrón sin espacios no
551 # casa jamás. El síntoma era idéntico al de un device que no aparece — y mandó a buscar el fallo
552 # en `partx` y en udev, que estaban bien. Comparar conjuntos no depende del formato.
553 _ch_lista_antes=$("$SFDISK" -d "$_ch_disco" 2>/dev/null | awk '/^\/dev/ {print $1}')
554 _ch_antes=$(printf '%s\n' "$_ch_lista_antes" | grep -c . || true)
555 echo "start=$_ch_start, size=$_ch_size, type=linux, name=\"takana-root\"" \
556 | "$SFDISK" --append --quiet "$_ch_disco" >/dev/null 2>&1 \
557 || { echo "takana-install-partition: sfdisk --append falló sobre $_ch_disco" >&2; return 1; }
558 # El device nuevo tarda en aparecer (udev, o `partx` en un loop): esperarlo es obligatorio, y el
559 # nombre se LEE de la tabla en vez de construirlo a mano — `nvme0n1p4` y `sda4` no se escriben igual.
560 releer_tabla "$_ch_disco"
561 _ch_nuevo=""
562 _ch_i=0
563 while [ "$_ch_i" -lt 15 ]; do
564 _ch_lista_post=$("$SFDISK" -d "$_ch_disco" 2>/dev/null | awk '/^\/dev/ {print $1}')
565 for _ch_d in $_ch_lista_post; do
566 case " $(printf '%s ' $_ch_lista_antes)" in
567 *" $_ch_d "*) ;;
568 *) _ch_nuevo="$_ch_d" ;;
569 esac
570 done
571 [ -n "$_ch_nuevo" ] && [ -b "$_ch_nuevo" ] && break
572 _ch_nuevo=""
573 _ch_i=$(( _ch_i + 1 )); sleep 1
574 releer_tabla "$_ch_disco"
575 done
576 [ -n "$_ch_nuevo" ] && [ -b "$_ch_nuevo" ] || {
577 echo "takana-install-partition: la partición se añadió pero su device no apareció (¿hace falta un partprobe?)" >&2; return 1; }
578 _ch_despues=$("$SFDISK" -d "$_ch_disco" 2>/dev/null | awk '/^\/dev/ {print $1}' | grep -c . || true)
579 [ "$_ch_despues" = "$(( _ch_antes + 1 ))" ] || {
580 echo "takana-install-partition: la tabla pasó de $_ch_antes a $_ch_despues entradas — esperaba UNA más" >&2; return 1; }
581 echo "$_ch_nuevo"
582}
583
584# `--survey`: mirar y no tocar. Es el comando con el que se empieza en una máquina desconocida.
585if [ -n "$SOLO_CENSO" ]; then
586 if [ -n "$CENSO_JSON" ]; then censo_json; else mostrar_censo; fi
587 exit 0
588fi
589
590if [ -n "$NECESITA_ELEGIR" ]; then
591 if [ -t 0 ]; then
592 elegir_destino || exit 1
593 else
594 echo "takana-install-partition: no me diste destino y no hay terminal para preguntarte." >&2
595 echo " Pasá --root-part PARTUUID=… o --use-free-space --disk …" >&2
596 echo " (y mirá el terreno con --survey)" >&2
597 exit 2
598 fi
599fi
600
601# La identidad se resuelve ANTES de cualquier guarda: a partir de acá se trabaja con el device real,
602# y si el `PARTUUID` no existe en esta máquina se aborta sin haber tocado nada.
603if [ -n "$DEST" ]; then DEST=$(resolver_dev "$DEST") || exit 1; fi
604if [ -n "$ESP" ]; then ESP=$(resolver_dev "$ESP") || exit 1; fi
605
606# `--use-free-space` sin `--root-part`: el destino todavía no existe, se crea en un hueco. Esto es
607# «instalar al lado», y es el camino que la política de la raíz viva usa cuando no hay kexec.
608if [ -n "$USE_FREE" ] && [ -z "$DEST" ]; then
609 _ufs_disco="${DISK:-}"
610 if [ -z "$_ufs_disco" ] && [ -n "$ESP" ] && [ -b "$ESP" ]; then _ufs_disco=$(disco_de "$ESP"); fi
611 [ -n "$_ufs_disco" ] || { echo "takana-install-partition: --use-free-space necesita --disk (o un --esp real)" >&2; exit 2; }
612 echo "==> buscando espacio SIN ASIGNAR en $_ufs_disco"
613 DEST=$(crear_en_hueco "$_ufs_disco" "$(mib_necesarios)") || exit 1
614 echo " partición creada: $DEST"
615fi
616
617# La ESP: si no se dijo cuál, se deduce del disco del destino. Una pregunta menos que hacerle al
618# usuario, y la respuesta correcta en el caso normal (un disco, una ESP).
619if [ -z "$ESP" ] && [ -n "$DEST" ] && [ -b "$DEST" ]; then
620 _esp_auto=$(esp_automatica "$(disco_de "$DEST")" 2>/dev/null || true)
621 [ -n "${_esp_auto:-}" ] && { ESP="$_esp_auto"; echo "==> ESP deducida: $ESP (del mismo disco que el destino)"; }
622fi
623
624if es_bloque "$DEST"; then
625 _n=$(nombre_kernel "$DEST")
626 # 1) DESTINO TIENE QUE SER UNA PARTICIÓN, NO UN DISCO. `/sys/class/block/<x>/partition` sólo
627 # existe en particiones: es la diferencia entre formatear 200 G y formatear 1,8 T.
628 [ -r "/sys/class/block/$_n/partition" ] || {
629 echo "takana-install-partition: $DEST NO es una partición (¿es el disco entero?)." >&2
630 echo " Este instalador nunca escribe un disco completo." >&2; exit 1; }
631 # 2) NO PUEDE ESTAR MONTADA. mke2fs sobre un fs montado corrompe el que está en uso.
632 if grep -q "^$(readlink -f "$DEST") " /proc/mounts 2>/dev/null; then
633 echo "takana-install-partition: $DEST está MONTADA. Desmontala primero (o elegí otra)." >&2
634 grep "^$(readlink -f "$DEST") " /proc/mounts >&2; exit 1
635 fi
636 # 3) NO PUEDE SER LA RAÍZ VIVA. Es el caso que el usuario pregunta siempre: «¿puedo instalar
637 # encima del Linux que estoy usando?». No desde él: hay que saltar antes a otro kernel/medio.
638 # Por número de dispositivo, no por nombre: ver `raiz_viva_majmin`. El fallback por nombre se
639 # conserva porque no estorba y cubre el caso en que `stat` no exista.
640 _rootdev=$(awk '$2=="/" {print $1; exit}' /proc/mounts 2>/dev/null || true)
641 if es_la_raiz_viva "$DEST" || \
642 [ "$(readlink -f "$DEST")" = "$(readlink -f "${_rootdev:-/nonexistent}" 2>/dev/null || echo /nonexistent)" ]; then
643 politica_raiz_viva # kexec → espacio libre → abortar, según --on-active-root
644 fi
645 # 4) NO PUEDE SER LA ESP que vamos a reusar.
646 [ -n "$ESP" ] && [ "$(readlink -f "$DEST")" = "$(readlink -f "$ESP")" ] && {
647 echo "takana-install-partition: --root-part y --esp son la MISMA partición" >&2; exit 1; }
648 # 5) ¿ENTRA? Esto AVISA y no aborta, a propósito. El censo esconde del menú lo que no llega al
649 # piso de `mib_necesarios` —que es el mismo con el que se talla un hueco, generoso a
650 # propósito—, pero quien nombra una partición con `--root-part` la está nombrando a mano y
651 # puede saber que su destino justo entra: el banco de pruebas instala en 1200 MiB y funciona.
652 # Abortar acá rechazaría configuraciones que andan; callarse dejaría el fallo para la mitad
653 # de la copia, con el destino ya formateado. Avisar es lo único que no miente.
654 _mib_dest=$(mib_de_sectores "$(cat "/sys/class/block/$_n/size" 2>/dev/null || echo 0)")
655 _mib_pide=$(mib_minimos)
656 if [ "${_mib_dest:-0}" -gt 0 ] && [ "$_mib_dest" -lt "$_mib_pide" ] 2>/dev/null; then
657 echo " ⚠ $DEST son ${_mib_dest} MiB y el sistema pide ~${_mib_pide} MiB con holgura." >&2
658 echo " Sigo porque lo nombraste vos; si no entra, la copia falla con el destino ya formateado." >&2
659 fi
660else
661 [ -f "$DEST" ] || { echo "takana-install-partition: $DEST no existe (ni bloque ni fichero)" >&2; exit 1; }
662fi
663
664# ── politica_raiz_viva — el «saltito»: qué hacer si el destino ES el sistema que corre ────────
665# La pregunta que todo el mundo hace es «¿puedo poner takana encima del Linux que estoy usando, sin
666# USB?». La respuesta honesta tiene tres partes y este bloque las implementa en orden:
667#
668# 1. Desde adentro, NO. Un filesystem montado y en uso no se formatea; eso es el kernel, no una
669# política nuestra.
670# 2. Pero se puede SALIR de adentro sin reiniciar por el firmware: `kexec` salta a otro kernel con
671# un instalador en RAM, y en ese salto el sistema viejo deja de correr ⇒ su disco queda libre.
672# Es el ADR 0017 §1, y el syscall ya estaba implementado (`kexec_file_load`, sin kexec-tools).
673# 3. Y si esta máquina no puede saltar —kernel sin `CONFIG_KEXEC_FILE`, o lockdown por Secure
674# Boot— no se fuerza nada: se instala AL LADO, en espacio sin asignar, y el usuario elige en el
675# arranque. Peor camino, cero riesgo.
676#
677# `--on-active-root` permite fijar uno de los tres a mano; `auto` es la política de arriba.
678politica_raiz_viva() {
679 echo "⚠ $DEST es la RAÍZ VIVA: el sistema que está corriendo ahora mismo."
680 echo " Un filesystem montado y en uso no se puede formatear desde adentro."
681 case "$ON_ACTIVE" in
682 abort)
683 echo " --on-active-root=abort ⇒ no hago nada más." >&2; exit 1 ;;
684 esac
685 _prv_kexec=no
686 if [ "$ON_ACTIVE" = auto ] || [ "$ON_ACTIVE" = kexec ]; then
687 echo "==> ¿puede esta máquina saltar a otro kernel sin pasar por el firmware?"
688 if _prv_out=$("$HAMMER" kernel kexec --probe 2>&1); then _prv_kexec=si; fi
689 printf '%s\n' "$_prv_out" | sed 's/^/ /'
690 fi
691 if [ "$_prv_kexec" = si ]; then
692 camino_kexec # no vuelve: salta
693 exit 0
694 fi
695 if [ "$ON_ACTIVE" = kexec ]; then
696 echo " --on-active-root=kexec y esta máquina no puede saltar (motivos arriba)." >&2; exit 1
697 fi
698 echo "==> sin kexec ⇒ INSTALO AL LADO, en espacio sin asignar (la raíz viva no se toca)"
699 _prv_disco=$(disco_de "$DEST")
700 DEST=$(crear_en_hueco "$_prv_disco" "$(mib_necesarios)") || {
701 echo "takana-install-partition: no hay hueco donde instalar al lado, y sin kexec no hay otra" >&2
702 echo " desde este sistema. Queda el camino del medio externo (USB)." >&2
703 exit 1; }
704 echo " destino nuevo: $DEST (la raíz viva sigue intacta)"
705}
706
707# ── camino_kexec — armar el instalador en RAM y saltar. NO VUELVE ─────────────────────────────
708camino_kexec() {
709 echo "==> camino KEXEC: el instalador viaja en RAM y el sistema viejo muere en el salto"
710 # ⚠ **La elección viaja por la CMDLINE, no horneada en el initramfs.** Un initramfs con el
711 # destino adentro sirve para una máquina y hay que rehacerlo para la siguiente; el mismo fichero
712 # con la elección en la cmdline sirve para todas. Y va por **PARTUUID**: el kernel de después
713 # del salto puede enumerar los discos con otros nombres (medido), así que `/dev/nvme1n1p6` es
714 # justamente lo que NO hay que pasar.
715 _ck_ru=$(partuuid_de "$DEST" 2>/dev/null || true)
716 _ck_eu=""; [ -n "$ESP" ] && _ck_eu=$(partuuid_de "$ESP" 2>/dev/null || true)
717 _ck_cl="${CMDLINE_SALTO:-console=ttyS0,115200 console=tty0}"
718 if [ -n "$_ck_ru" ]; then _ck_cl="$_ck_cl takana.root=PARTUUID=$_ck_ru"
719 else _ck_cl="$_ck_cl takana.root=$DEST"; fi
720 if [ -n "$_ck_eu" ]; then _ck_cl="$_ck_cl takana.esp=PARTUUID=$_ck_eu"
721 elif [ -n "$ESP" ]; then _ck_cl="$_ck_cl takana.esp=$ESP"; fi
722 [ -n "$ASSUME_YES" ] && _ck_cl="$_ck_cl takana.yes"
723 _ck_ird="${IRD_INSTALADOR:-work/takana-instalador.cpio.gz}"
724 OUT="$_ck_ird" KERNEL="$KERNEL" ./scripts/instalador-initramfs.sh || {
725 echo "takana-install-partition: no pude armar el instalador en RAM" >&2; exit 1; }
726 _ck_art=$(dirname "$(dirname "$KERNEL")") # …/<hash>-linux-metal/boot/bzImage → el artefacto
727 echo
728 echo " kernel: $_ck_art"
729 echo " initrd: $_ck_ird ($(du -h "$_ck_ird" | cut -f1)) — genérico, sin esta máquina adentro"
730 echo " destino: $DEST"
731 echo " cmdline: $_ck_cl"
732 if [ -z "$ASSUME_YES" ] && [ -t 0 ]; then
733 printf " ⚡ ESTE COMANDO MATA EL SISTEMA QUE ESTÁS USANDO y arranca el instalador. [escribí saltar] "
734 read -r _ck_r; [ "$_ck_r" = "saltar" ] || { echo " cancelado — no se saltó y no se tocó nada."; exit 1; }
735 fi
736 # ⚠ **El orden de las `console=` decide cuál es `/dev/console`: gana la ÚLTIMA.** Con
737 # `console=tty0 console=ttyS0,115200` la consola es el SERIAL, y un portátil no tiene puerto
738 # serie: el instalador arrancaría y la pantalla se quedaría en negro con todo pasando en un
739 # cable que no existe. Es el bug que este repo ya pagó dos veces (ver `arranque-visible-cada-capa`).
740 # Por eso acá tty0 va ÚLTIMO: pantalla primero, serial de regalo para quien lo tenga.
741 "$HAMMER" kernel kexec "$_ck_art" --initrd "$_ck_ird" --cmdline "$_ck_cl" --jump
742 echo "takana-install-partition: el salto volvió, o sea que NO saltó. Nada se tocó." >&2
743 exit 1
744}
745
746# ── El terreno, DICHO EN VOZ ALTA antes de tocar nada (ADR 0018 §4) ───────────────────────────
747echo "==> destino: $DEST ($( [ -b "$DEST" ] && echo 'partición real' || echo 'fichero de prueba'))"
748if [ -b "$DEST" ] && command -v blkid >/dev/null 2>&1; then
749 echo " lo que hay HOY ahí (se va a PERDER):"
750 blkid "$DEST" 2>/dev/null | sed 's/^/ /' || echo " (sin filesystem reconocible)"
751fi
752if [ -n "$ESP" ] && [ -b "$ESP" ] && [ -x "$HAMMER" ]; then
753 _d="${DISK:-/dev/$(basename "$(readlink -f "/sys/class/block/$(nombre_kernel "$ESP")/..")")}"
754 echo " terreno de $_d (nada de esto se toca):"
755 "$HAMMER" boot entry survey --disk "$_d" 2>&1 | sed 's/^/ /' || true
756fi
757if [ -z "$ASSUME_YES" ] && [ -t 0 ]; then
758 printf " ¿formateo %s y dejo el resto del disco INTACTO? [escribí si] " "$DEST"
759 read -r _r; [ "$_r" = "si" ] || { echo " cancelado."; exit 1; }
760fi
761
762# ── 1) Los árboles (initramfs de pivote + rootfs con su /sbin/init) los arma el script VALIDADO ──
763# No se copian acá: se PIDEN. Ver el comentario de `STAGE_ONLY` en install-image-efi.sh.
764STAGE="${STAGE:-work/.install-part-stage}"
765# `STAGE_LISTO=1` — el árbol ya está armado y no hay que (ni se puede) rearmarlo. Es lo que usa el
766# instalador cuando corre DENTRO de un initramfs: allí no hay repo, ni store, ni `install-image-efi.sh`;
767# el stage viajó horneado en el propio initramfs. Se comprueba que esté completo, no se confía.
768if [ -n "${STAGE_LISTO:-}" ]; then
769 echo "==> stage ya armado: $STAGE (STAGE_LISTO=1)"
770else
771 echo "==> armando árboles (STAGE_ONLY sobre install-image-efi.sh)"
772 STAGE_ONLY=1 KEEP_STORE=1 STAGE="$STAGE" ./scripts/install-image-efi.sh
773fi
774ROOT_TREE="$STAGE/root"; IRD="$STAGE/initramfs.cpio.gz"
775[ -d "$ROOT_TREE" ] && [ -r "$IRD" ] || { echo "takana-install-partition: el stage no quedó completo" >&2; exit 1; }
776
777# ── 2) Formatear SÓLO la partición destino, y poblarla SIN MONTARLA ────────────────────────────
778# `mke2fs -d` escribe el árbol dentro del filesystem nuevo sin `mount` y sin loop. Que no haya
779# montaje no es elegancia: un `mount` mal apuntado en un disco ajeno es justamente el accidente que
780# este script existe para no tener. Si no somos root, `unshare -r` da los dueños root sin sudo.
781echo "==> ext4 LABEL=hammer-root en $DEST (única escritura destructiva de todo el script)"
782# ⚠ La detección de root NO puede fallar en silencio. Medido dentro del initramfs el 2026-09-23: sin
783# el applet `id` el `$(id -u)` quedaba VACÍO, la comparación daba falso, el script se iba a la rama
784# de `unshare` —que tampoco estaba— y **siguió adelante sin formatear nada**. Un `if` cuyo dato de
785# entrada no existe elige una rama igual, y elige mal.
786_uid=$(id -u 2>/dev/null || echo "")
787[ -n "$_uid" ] || { echo "takana-install-partition: no hay 'id' en este entorno y no puedo saber si soy root" >&2; exit 1; }
788if [ "$_uid" = "0" ]; then
789 "$MKE2FS" -q -t ext4 -L hammer-root -d "$ROOT_TREE" "$DEST"
790else
791 command -v unshare >/dev/null 2>&1 || {
792 echo "takana-install-partition: no soy root (uid $_uid) y no hay 'unshare' para suplirlo" >&2; exit 1; }
793 unshare -r "$MKE2FS" -q -t ext4 -L hammer-root -d "$ROOT_TREE" "$DEST"
794fi
795# Y no se da por hecho: se mira. Regla 3 del CLAUDE.md — un ausente falla ruidosamente, un vacío
796# llega hasta el final diciendo que todo fue bien. Acá el vacío sería un destino sin filesystem.
797# ⚠ La verificación tiene que funcionar con LOS DOS `blkid`, y la primera versión no lo hacía:
798# `-s LABEL -o value` es de util-linux y **busybox lo ignora**, devolviendo la línea entera
799# (`/dev/vda2: LABEL="hammer-root" UUID=…`). Resultado medido en QEMU: el formateo había salido
800# PERFECTO y el guardián abortó igual, con un mensaje que mostraba la label correcta dentro del
801# texto de «no quedó con LABEL». Tercer caso hoy del mismo patrón: un chequeo que valida algo
802# distinto de lo que cree validar acusa al inocente, y un guardián así se desactiva a la semana.
803# ⚠ Y el patrón tiene que distinguir `LABEL` de **`PARTLABEL`**, que es otra cosa: el primero es la
804# etiqueta del FILESYSTEM y el segundo el nombre de la ENTRADA GPT. Con `sed 's/.*LABEL="…"/'` el
805# `.*` es glotón y se come el «PART», así que devolvía el nombre de la partición en la tabla
806# («destino-takana») y el guardián abortaba una instalación correcta. Segunda vez que este mismo
807# chequeo acusa al inocente por mirar mal el dato. El espacio de ` LABEL="` es lo que los separa.
808_lbl_post=$(blkid "$DEST" 2>/dev/null | grep -o ' LABEL="[^"]*"' | head -1 | sed 's/^ LABEL="//; s/"$//')
809[ -n "$_lbl_post" ] || _lbl_post=$(blkid -s LABEL -o value "$DEST" 2>/dev/null || true)
810[ "$_lbl_post" = "hammer-root" ] || {
811 echo "takana-install-partition: $DEST NO quedó con LABEL=hammer-root (blkid dice '${_lbl_post:-nada}')." >&2
812 echo " El formateo no se completó: no sigo." >&2; exit 1; }
813echo " ✓ $DEST formateada y poblada (LABEL=hammer-root verificada)"
814
815# ── 3) La ESP: sólo nuestra carpeta de vendor, con mtools y SIN montar ─────────────────────────
816if [ -n "$ESP" ]; then
817 # ⚠ **mtools puede QUEDARSE ESPERANDO UNA RESPUESTA, y colgado es indistinguible de lento.**
818 # Medido en QEMU el 2026-09-23: sobre `/dev/vda1` el instalador se detuvo para siempre justo
819 # después de imprimir el espacio libre, sin una línea más. Dos defensas, porque una sola tapa el
820 # síntoma sin quitar la causa:
821 # · `MTOOLS_SKIP_CHECK=1` desactiva el chequeo de geometría, que es lo que hace preguntar
822 # cuando el device no se parece a un disquete;
823 # · `< /dev/null` en cada invocación, para que una pregunta que igual aparezca FALLE en vez de
824 # esperar. Un error se lee; un cuelgue en un instalador parece un sistema muerto.
825 export MTOOLS_SKIP_CHECK=1
826 "$MDIR" -i "$ESP" :: >/dev/null 2>&1 < /dev/null || { echo "takana-install-partition: $ESP no parece FAT (¿es la ESP?)" >&2; exit 1; }
827 # Guardián de capacidad: una ESP de fábrica son 100 MiB y Windows ya vive ahí. El margen se
828 # comprueba ANTES, con los números a la vista, no como un «disk full» a mitad de copiar.
829 # ⚠ `mdir` imprime el espacio libre con SEPARADOR DE MILES en espacios («60 056 064 bytes
830 # free»), así que tomar `$1` devuelve **60** y el guardián aborta una instalación perfectamente
831 # posible. Medido en la primera corrida de este script. Hay que juntar los dígitos de la línea.
832 _free=$("$MDIR" -i "$ESP" :: 2>/dev/null < /dev/null | awk '/bytes free/ {l=$0; sub(/ bytes free.*/,"",l); gsub(/[^0-9]/,"",l); print l}' | tail -1)
833 _need=$(( $(wc -c < "$KERNEL") + $(wc -c < "$IRD") ))
834 [ -n "${_free:-}" ] && [ "$_free" -lt "$_need" ] && {
835 echo "takana-install-partition: la ESP tiene ${_free}B libres y hacen falta ${_need}B." >&2
836 echo " No se escribió nada en ella." >&2; exit 1; }
837 # ⚠ **Un FAT puede declarar MÁS espacio del que su partición tiene, y nadie se queja hasta que
838 # una escritura grande cae más allá del final.** Medido acá el 2026-09-23 fabricando el disco de
839 # prueba: `mformat -i disco.img@@<offset>` formatea usando el tamaño del FICHERO ENTERO, no el de
840 # la partición ⇒ una ESP de 64 MiB con un FAT que anuncia 2,5 G. Y no es un artefacto del banco de
841 # pruebas: cualquier ESP que alguien encogió con una herramienta de particionado sin reformatear
842 # queda igual. El `df` del kernel repite la mentira —la leyó del mismo sector de arranque— así que
843 # NO alcanza con preguntarle al filesystem: hay que contrastar contra el TAMAÑO REAL del
844 # contenedor, que es lo único que no puede mentir.
845 if [ -b "$ESP" ]; then
846 _cap=$(blockdev --getsize64 "$ESP" 2>/dev/null || echo "")
847 [ -z "$_cap" ] && _cap=$(( $(cat "/sys/class/block/$(nombre_kernel "$ESP")/size" 2>/dev/null || echo 0) * 512 ))
848 else
849 _cap=$(wc -c < "$ESP")
850 fi
851 if [ -n "${_free:-}" ] && [ "${_cap:-0}" -gt 0 ] && [ "$_free" -gt "$_cap" ]; then
852 echo " ! el FAT de $ESP dice ${_free}B libres pero la partición mide ${_cap}B: el filesystem" >&2
853 echo " declara más espacio del que existe (ESP encogida sin reformatear, o formateada" >&2
854 echo " sobre un contenedor mayor). Uso el tamaño REAL como cota." >&2
855 _free="$_cap"
856 fi
857 echo "==> ESP $ESP: \\EFI\\takana\\ (${_need}B sobre ${_free:-?}B libres)"
858 "$MMD" -i "$ESP" ::/EFI 2>/dev/null < /dev/null || true
859 "$MMD" -i "$ESP" ::/EFI/takana 2>/dev/null < /dev/null || true
860 "$MCOPY" -o -i "$ESP" "$KERNEL" ::/EFI/takana/takanax64.efi < /dev/null
861 "$MCOPY" -o -i "$ESP" "$IRD" ::/initramfs.cpio.gz < /dev/null
862 # La ruta fallback es tierra de nadie: si YA hay algo, es de otro sistema y no se pisa sin que
863 # el usuario lo pida. Si no hay nada, ocuparla es gratis y salva el caso «el firmware ignora la
864 # entrada NVRAM», que es el modo de fallo más común y el más difícil de diagnosticar.
865 if "$MDIR" -i "$ESP" ::/EFI/BOOT/BOOTX64.EFI >/dev/null 2>&1 < /dev/null; then
866 if [ -n "$CLAIM_FALLBACK" ]; then
867 "$MCOPY" -o -i "$ESP" "$KERNEL" ::/EFI/BOOT/BOOTX64.EFI < /dev/null
868 echo " ! \\EFI\\BOOT\\BOOTX64.EFI PISADO (--claim-fallback)"
869 else
870 echo " · \\EFI\\BOOT\\BOOTX64.EFI ya existe y es de otro: NO se toca (--claim-fallback para pisarlo)"
871 fi
872 else
873 "$MMD" -i "$ESP" ::/EFI/BOOT 2>/dev/null < /dev/null || true
874 "$MCOPY" -o -i "$ESP" "$KERNEL" ::/EFI/BOOT/BOOTX64.EFI < /dev/null
875 echo " + \\EFI\\BOOT\\BOOTX64.EFI estaba libre ⇒ ocupada (arranca sin depender de la NVRAM)"
876 fi
877 for _p in ::/EFI/takana/takanax64.efi ::/initramfs.cpio.gz; do
878 "$MDIR" -i "$ESP" "$_p" >/dev/null 2>&1 < /dev/null || { echo "takana-install-partition: falta $_p en la ESP" >&2; exit 1; }
879 done
880 echo " ✓ ESP poblada y verificada (sin montarla)"
881else
882 echo " ! sin --esp: el sistema queda instalado pero NO arrancable todavía"
883fi
884
885# ── 4) La entrada de arranque: convivir con el vecino, con respaldo previo ─────────────────────
886if [ -z "$NO_NVRAM" ] && [ -n "$ESP" ] && [ -b "$ESP" ] && [ -d /sys/firmware/efi/efivars ] && [ -x "$HAMMER" ]; then
887 if [ -z "$DISK" ] || [ -z "$ESP_PART" ]; then
888 _en=$(nombre_kernel "$ESP")
889 DISK="${DISK:-/dev/$(basename "$(readlink -f "/sys/class/block/$_en/..")")}"
890 ESP_PART="${ESP_PART:-$(cat "/sys/class/block/$_en/partition" 2>/dev/null || echo 1)}"
891 fi
892 echo "==> respaldo del arranque ANTES de tocar la NVRAM (ADR 0018 §5)"
893 "$HAMMER" boot entry backup || echo " ! el respaldo falló — seguí sólo si sabés por qué" >&2
894 echo "==> entrada NVRAM: $DISK p$ESP_PART → \\EFI\\takana\\takanax64.efi"
895 "$HAMMER" boot entry add --disk "$DISK" --partition "$ESP_PART" --loader '/EFI/takana/takanax64.efi'
896else
897 echo " · NVRAM no tocada (--no-nvram, sin efivarfs, o destino de prueba)"
898fi
899
900if [ -n "$USE_FREE" ]; then
901 echo "✓ takana instalada en $DEST, una partición NUEVA creada en espacio sin asignar."
902 echo " La tabla creció en una entrada; ninguna de las que ya estaban se modificó."
903else
904 echo "✓ takana instalada en $DEST. La tabla de particiones NO se tocó y las demás particiones siguen como estaban."
905fi
906echo " Comprobalo antes de reiniciar: lsblk -o NAME,SIZE,FSTYPE,LABEL · $HAMMER boot entry list"