sergio
758f61f52a
`mirada-compositor --greeter` arranca como gestor de login: lanza
mirada-greeter como proceso hijo, lee su stdout y, al recibir el
SessionTicket, muta de BodyMode::Greeter a BodyMode::Session sin
reiniciar el servidor Wayland — la «mutación atómica» del DM.
- BodyMode { Greeter, Session }: eje ortogonal a Brain (Embedded/Linked).
- modo greeter: sin atajos registrados, rechaza Spawn, sin autoarranque.
- traspaso (complete_greeter_handoff): registra los atajos y arranca la
sesión — el comando del tiquet, o el autoarranque del usuario.
- privilegios: el compositor corre como root; spawn_command baja a
setuid/setgid + grupos suplementarios del usuario autenticado.
- bandera ortogonal al backend (--greeter [--drm|--winit]); el tiquet
llega por un canal calloop en DRM y por mpsc en winit.
Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>
mirada-greeter
El greeter (pantalla de login) del escritorio carmen.
Una ventana GPUI: el compositor mirada-compositor, cuando bootea en
modo greeter, la arranca como proceso hijo, la compone a pantalla
completa (la reconoce por app_id = "carmen.greeter") y le lee el
stdout.
Flujo
- El usuario teclea usuario + contraseña.
Enteren «usuario» pasa el foco a «contraseña»;Enteren «contraseña» autentica. - La autenticación corre con [
brahman-auth] en un hilo de fondo (PAM puede demorar ~2 s ante un fallo, no se congela la UI). - En éxito, el greeter imprime un
SessionTicketa stdout y termina. El compositor parsea esa línea y hace el traspaso a modo sesión sin reiniciar el servidor gráfico.
La línea de tiquet lleva el prefijo MIRADA-SESSION-TICKET-v1; el resto
del stdout (logs) se ignora.
Backend de autenticación
| Entorno | Backend |
|---|---|
| (por defecto) | PAM, servicio carmen (/etc/pam.d/carmen) |
MIRADA_GREETER_PAM=<servicio> |
PAM con otro servicio |
MIRADA_GREETER_MOCK=usuario:secreto |
Mock — credenciales fijas |
El modo mock sirve para iterar la UI en cajas sin PAM o con el greeter anidado dentro de otro escritorio:
MIRADA_GREETER_MOCK=demo:demo cargo run -p mirada-greeter
Integración con el compositor
El consumo del tiquet ya está cableado. mirada-compositor --greeter
lanza este greeter, lee su stdout y, al recibir el SessionTicket,
muta de BodyMode::Greeter a BodyMode::Session y arranca la sesión
del usuario con setuid/setgid — sin reiniciar el servidor Wayland.
Ver el README de mirada-compositor, sección Modo greeter (DM).